sig
type doc
val nil : Pretty.doc
val ( ++ ) : Pretty.doc -> Pretty.doc -> Pretty.doc
val concat : Pretty.doc -> Pretty.doc -> Pretty.doc
val text : string -> Pretty.doc
val num : int -> Pretty.doc
val num64 : int64 -> Pretty.doc
val real : float -> Pretty.doc
val chr : char -> Pretty.doc
val line : Pretty.doc
val leftflush : Pretty.doc
val break : Pretty.doc
val align : Pretty.doc
val unalign : Pretty.doc
val mark : Pretty.doc
val unmark : Pretty.doc
val indent : int -> Pretty.doc -> Pretty.doc
val markup : Pretty.doc -> Pretty.doc
val seq :
sep:Pretty.doc ->
doit:('a -> Pretty.doc) -> elements:'a list -> Pretty.doc
val docList :
?sep:Pretty.doc -> ('a -> Pretty.doc) -> unit -> 'a list -> Pretty.doc
val d_list :
string -> (unit -> 'a -> Pretty.doc) -> unit -> 'a list -> Pretty.doc
val docArray :
?sep:Pretty.doc ->
(int -> 'a -> Pretty.doc) -> unit -> 'a array -> Pretty.doc
val docOpt : ('a -> Pretty.doc) -> unit -> 'a option -> Pretty.doc
val d_int32 : int32 -> Pretty.doc
val f_int32 : unit -> int32 -> Pretty.doc
val d_int64 : int64 -> Pretty.doc
val f_int64 : unit -> int64 -> Pretty.doc
module MakeMapPrinter :
functor
(Map : sig
type key
type 'a t
val fold :
(Pretty.MakeMapPrinter.key -> 'a -> 'b -> 'b) ->
'a Pretty.MakeMapPrinter.t -> 'b -> 'b
end) ->
sig
val docMap :
?sep:Pretty.doc ->
(Map.key -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
val d_map :
?dmaplet:(Pretty.doc -> Pretty.doc -> Pretty.doc) ->
string ->
(unit -> Map.key -> Pretty.doc) ->
(unit -> 'a -> Pretty.doc) -> unit -> 'a Map.t -> Pretty.doc
end
module MakeSetPrinter :
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
val insert : unit -> Pretty.doc -> Pretty.doc
val dprintf : ('a, unit, Pretty.doc, Pretty.doc) Pervasives.format4 -> 'a
val gprintf :
(Pretty.doc -> 'a) -> ('b, unit, Pretty.doc, 'a) Pervasives.format4 -> 'b
val fprint : Pervasives.out_channel -> width:int -> Pretty.doc -> unit
val sprint : width:int -> Pretty.doc -> string
val fprintf :
Pervasives.out_channel -> ('a, unit, Pretty.doc) Pervasives.format -> 'a
val printf : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val eprintf : ('a, unit, Pretty.doc) Pervasives.format -> 'a
val withPrintDepth : int -> (unit -> unit) -> unit
val printDepth : int Pervasives.ref
val printIndent : bool Pervasives.ref
val fastMode : bool Pervasives.ref
val flushOften : bool Pervasives.ref
val countNewLines : int Pervasives.ref
val auto_printer : string -> 'a
end