module Set:Identifiable.Set
with module T := T
module T:Set.OrderedType
include Set.S
val output : out_channel -> t -> unit
val print : Format.formatter -> t -> unit
val to_string : t -> string
val of_list : elt list -> t
val map : (elt -> elt) -> t -> t