Make.1-Id
type t
module Map : Stdlib.Map.S with type Map.key = t
module Set : Stdlib.Set.S with type Set.elt = t