Functor Pretty.MakeSetPrinter

module MakeSetPrinter: 
functor (Set : sig
type elt 
type t 
val fold : (elt -> 'a -> 'a) ->
t -> 'a -> 'a
end) -> sig .. end

Format sets.

Parameters:
Set : sig type elt type t val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a end

val docSet : ?sep:Pretty.doc -> (Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc

Format a set, analogous to docList.

val d_set : string -> (unit -> Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc

Format a set, analogous to d_list.