Module S.Id

type t
module Map : MAP with type key = t
module Set : SET with type elt = t