Module Fmlib.Finite_map

module type S = sig ... end
module Make (E : Module_types.SORTABLE) : S with type key = E.t