Module Diet
module type ELT = sig ... end
module type INTERVAL_SET = sig ... end
module Int : INTERVAL_SET with type elt = int
module Int64 : INTERVAL_SET with type elt = int64
Diet
module type ELT = sig ... end
module type INTERVAL_SET = sig ... end
module Int : INTERVAL_SET with type elt = int
module Int64 : INTERVAL_SET with type elt = int64