module Pretty: sig end
Redirecting output.
type 'a printer = Format.formatter -> 'a -> unit
val unit : Format.formatter -> unit -> unit
| Parameters: |
|
fmt |
: |
Format.formatter
|
|
() |
: |
unit
|
|
val string : Format.formatter -> string -> unit
| Parameters: |
|
fmt |
: |
Format.formatter
|
|
str |
: |
string
|
|
val number : Format.formatter -> int -> unit
| Parameters: |
|
fmt |
: |
Format.formatter
|
|
i |
: |
int
|
|
val bool : Format.formatter -> bool -> unit
| Parameters: |
|
fmt |
: |
Format.formatter
|
|
?? |
: |
bool
|
|
val option : (Format.formatter -> 'a -> 'b) -> Format.formatter -> 'a option -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> 'b
|
|
fmt |
: |
Format.formatter
|
|
?? |
: |
'a option
|
|
val final_sep : bool Pervasives.ref
val list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> unit
|
|
val list' : (Format.formatter -> 'a -> 'b) -> Format.formatter -> 'a list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> 'b
|
|
val pair : (Format.formatter -> 'a -> 'b) ->
(Format.formatter -> 'c -> 'd) -> Format.formatter -> 'a * 'c -> unit
| Parameters: |
|
pp1 |
: |
Format.formatter -> 'a -> 'b
|
|
pp2 |
: |
Format.formatter -> 'c -> 'd
|
|
fmt |
: |
Format.formatter
|
|
(a,b) |
: |
'a * 'c
|
|
val triple : (Format.formatter -> 'a -> 'b) ->
(Format.formatter -> 'c -> 'd) ->
(Format.formatter -> 'e -> 'f) -> Format.formatter -> 'a * 'c * 'e -> unit
| Parameters: |
|
pp1 |
: |
Format.formatter -> 'a -> 'b
|
|
pp2 |
: |
Format.formatter -> 'c -> 'd
|
|
pp3 |
: |
Format.formatter -> 'e -> 'f
|
|
fmt |
: |
Format.formatter
|
|
(a,b,c) |
: |
'a * 'c * 'e
|
|
val infix : (Format.formatter -> 'a -> 'b) ->
string ->
(Format.formatter -> 'c -> 'd) -> Format.formatter -> 'a * 'c -> unit
| Parameters: |
|
pp1 |
: |
Format.formatter -> 'a -> 'b
|
|
op |
: |
string
|
|
pp2 |
: |
Format.formatter -> 'c -> 'd
|
|
fmt |
: |
Format.formatter
|
|
(a,b) |
: |
'a * 'c
|
|
val eqn : (Format.formatter -> 'a -> 'b) -> Format.formatter -> 'a * 'a -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> 'b
|
|
val infixl : (Format.formatter -> 'a -> unit) ->
string -> Format.formatter -> 'a list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> unit
|
|
op |
: |
string
|
|
val set : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> unit
|
|
fmt |
: |
Format.formatter
|
|
val assign : (Format.formatter -> 'a -> 'b) ->
(Format.formatter -> 'c -> 'd) -> Format.formatter -> 'a * 'c -> unit
| Parameters: |
|
pp1 |
: |
Format.formatter -> 'a -> 'b
|
|
pp2 |
: |
Format.formatter -> 'c -> 'd
|
|
fmt |
: |
Format.formatter
|
|
(x,a) |
: |
'a * 'c
|
|
val map : (Format.formatter -> 'a -> 'b) ->
(Format.formatter -> 'c -> 'd) -> Format.formatter -> ('a * 'c) list -> unit
| Parameters: |
|
pp1 |
: |
Format.formatter -> 'a -> 'b
|
|
pp2 |
: |
Format.formatter -> 'c -> 'd
|
|
fmt |
: |
Format.formatter
|
|
val tuple : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> unit
|
|
val list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> unit
|
|
val list' : (Format.formatter -> 'a -> 'b) -> Format.formatter -> 'a list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> 'b
|
|
val solution : (Format.formatter -> 'a -> 'b) -> Format.formatter -> ('a * 'a) list -> unit
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> 'b
|
|
Redirecting output.
val to_stdout : (Format.formatter -> 'a) -> 'a
| Parameters: |
|
pp |
: |
Format.formatter -> 'a
|
|
val to_stderr : (Format.formatter -> 'a) -> 'a
| Parameters: |
|
pp |
: |
Format.formatter -> 'a
|
|
val to_string : (Format.formatter -> 'a -> 'b) -> 'a -> string
| Parameters: |
|
pp |
: |
Format.formatter -> 'a -> 'b
|
|
x |
: |
'a
|
|