module type SMALLSET = sig .. end
sig
end
include LowerUpper.SS_WO_ME
val make_eq_lower : t -> t -> bool * t
t -> t -> bool * t
val make_eq_upper : t -> t -> bool * t
val make_eq_eq : t -> t -> bool * t