Functor Var.Set

module Set (Ty : sig

type t 

end) : CCSet.S  with type elt = Ty.t t