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.

This web site is published by Informatikbüro Gerd Stolpmann