Make.1-E
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