Search GODI:
| File doc/godi-cil/html/api/type_Pretty.MakeSetPrinter.html | GODI Package godi-cil |
| type_Pretty.MakeSetPrinter.html |
functor
(Set : sig
type elt
type t
val fold :
(Pretty.MakeSetPrinter.elt -> 'a -> 'a) ->
Pretty.MakeSetPrinter.t -> 'a -> 'a
end) ->
sig
val docSet :
?sep:Pretty.doc ->
(Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
val d_set :
string ->
(unit -> Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
end
