Parameter Make.E

type t
val leq : t -> t -> bool

leq x y shall return true iff x is lower or equal to y.