Parameter Make.1-Id

type t
module Map : Map.S with type key = t
module Set : Set.S with type elt = t