def adjacent(x: t, y: t): Bool with Discrete[t]
Returns true if x and y are adjacent, i.e. if one is the successor of the other.
true
x
y