Module Treemap

module type Key = sig ... end
module Make_no_empty (Key : Key) : sig ... end
module Make (Key : Key) : sig ... end