type t
val leq : t ‑> t ‑> bool
leq x y shall return true iff x is lower or equal to y.
leq x y
true
x
y