Parameter Proj2.3-C

type elt
module Set : Set with type elt = elt
module Map : Map with type elt = elt and type set = Set.t