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.