module type PARTIAL_ORD = sig .. end
sig
end
type t
val leq : t -> t -> bool
t -> t -> bool
leq x y
true
x
y