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