Module CamlinternalFormatBasics

type padty =
| Left
| Right
| Zeros
type int_conv =
| Int_d
| Int_pd
| Int_sd
| Int_i
| Int_pi
| Int_si
| Int_x
| Int_Cx
| Int_X
| Int_CX
| Int_o
| Int_Co
| Int_u
type float_conv =
| Float_f
| Float_pf
| Float_sf
| Float_e
| Float_pe
| Float_se
| Float_E
| Float_pE
| Float_sE
| Float_g
| Float_pg
| Float_sg
| Float_G
| Float_pG
| Float_sG
| Float_F
| Float_h
| Float_ph
| Float_sh
| Float_H
| Float_pH
| Float_sH
type char_set = string
type counter =
| Line_counter
| Char_counter
| Token_counter
type ('a, 'b) padding =
| No_padding : ('a'a) padding
| Lit_padding : padty * int -> ('a'a) padding
| Arg_padding : padty -> (int -> 'a'a) padding
type pad_option = int option
type ('a, 'b) precision =
| No_precision : ('a'a) precision
| Lit_precision : int -> ('a'a) precision
| Arg_precision : (int -> 'a'a) precision
type prec_option = int option
type ('a, 'b, 'c) custom_arity =
| Custom_zero : ('a, string, 'a) custom_arity
| Custom_succ : ('a'b'c) custom_arity -> ('a'x -> 'b'x -> 'c) custom_arity
type block_type =
| Pp_hbox
| Pp_vbox
| Pp_hvbox
| Pp_hovbox
| Pp_box
| Pp_fits
type formatting_lit =
| Close_box
| Close_tag
| Break of string * int * int
| FFlush
| Force_newline
| Flush_newline
| Magic_size of string * int
| Escaped_at
| Escaped_percent
| Scan_indic of char
type ('a, 'b, 'c, 'd, 'e, 'f) formatting_gen =
| Open_tag : ('a'b'c'd'e'f) format6 -> ('a'b'c'd'e'f) formatting_gen
| Open_box : ('a'b'c'd'e'f) format6 -> ('a'b'c'd'e'f) formatting_gen
and ('a, 'b, 'c, 'd, 'e, 'f) fmtty = ('a'b'c'd'e'f'a'b'c'd'e'f) fmtty_rel
and ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel =
| Char_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (char -> 'a1'b1'c1'd1'e1'f1, char -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| String_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (string -> 'a1'b1'c1'd1'e1'f1, string -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Int_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (int -> 'a1'b1'c1'd1'e1'f1, int -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Int32_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (int32 -> 'a1'b1'c1'd1'e1'f1, int32 -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Nativeint_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (nativeint -> 'a1'b1'c1'd1'e1'f1, nativeint -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Int64_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (int64 -> 'a1'b1'c1'd1'e1'f1, int64 -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Float_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (float -> 'a1'b1'c1'd1'e1'f1, float -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Bool_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (bool -> 'a1'b1'c1'd1'e1'f1, bool -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Format_arg_ty : ('g'h'i'j'k'l) fmtty * ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (('g'h'i'j'k'l) format6 -> 'a1'b1'c1'd1'e1'f1, ('g'h'i'j'k'l) format6 -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Format_subst_ty : ('g'h'i'j'k'l'g1'b1'c1'j1'd1'a1) fmtty_rel * ('g'h'i'j'k'l'g2'b2'c2'j2'd2'a2) fmtty_rel * ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (('g'h'i'j'k'l) format6 -> 'g1'b1'c1'j1'e1'f1, ('g'h'i'j'k'l) format6 -> 'g2'b2'c2'j2'e2'f2) fmtty_rel
| Alpha_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (('b1 -> 'x -> 'c1) -> 'x -> 'a1'b1'c1'd1'e1'f1, ('b2 -> 'x -> 'c2) -> 'x -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Theta_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> (('b1 -> 'c1) -> 'a1'b1'c1'd1'e1'f1, ('b2 -> 'c2) -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Any_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> ('x -> 'a1'b1'c1'd1'e1'f1'x -> 'a2'b2'c2'd2'e2'f2) fmtty_rel
| Reader_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> ('x -> 'a1'b1'c1, ('b1 -> 'x) -> 'd1'e1'f1'x -> 'a2'b2'c2, ('b2 -> 'x) -> 'd2'e2'f2) fmtty_rel
| Ignored_reader_ty : ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> ('a1'b1'c1, ('b1 -> 'x) -> 'd1'e1'f1'a2'b2'c2, ('b2 -> 'x) -> 'd2'e2'f2) fmtty_rel
| End_of_fmtty : ('f1'b1'c1'd1'd1'f1'f2'b2'c2'd2'd2'f2) fmtty_rel
and ('a, 'b, 'c, 'd, 'e, 'f) fmt =
| Char : ('a'b'c'd'e'f) fmt -> (char -> 'a'b'c'd'e'f) fmt
| Caml_char : ('a'b'c'd'e'f) fmt -> (char -> 'a'b'c'd'e'f) fmt
| String : ('x, string -> 'a) padding * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Caml_string : ('x, string -> 'a) padding * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Int : int_conv * ('x'y) padding * ('y, int -> 'a) precision * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Int32 : int_conv * ('x'y) padding * ('y, int32 -> 'a) precision * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Nativeint : int_conv * ('x'y) padding * ('y, nativeint -> 'a) precision * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Int64 : int_conv * ('x'y) padding * ('y, int64 -> 'a) precision * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Float : float_conv * ('x'y) padding * ('y, float -> 'a) precision * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Bool : ('x, bool -> 'a) padding * ('a'b'c'd'e'f) fmt -> ('x'b'c'd'e'f) fmt
| Flush : ('a'b'c'd'e'f) fmt -> ('a'b'c'd'e'f) fmt
| String_literal : string * ('a'b'c'd'e'f) fmt -> ('a'b'c'd'e'f) fmt
| Char_literal : char * ('a'b'c'd'e'f) fmt -> ('a'b'c'd'e'f) fmt
| Format_arg : pad_option * ('g'h'i'j'k'l) fmtty * ('a'b'c'd'e'f) fmt -> (('g'h'i'j'k'l) format6 -> 'a'b'c'd'e'f) fmt
| Format_subst : pad_option * ('g'h'i'j'k'l'g2'b'c'j2'd'a) fmtty_rel * ('a'b'c'd'e'f) fmt -> (('g'h'i'j'k'l) format6 -> 'g2'b'c'j2'e'f) fmt
| Alpha : ('a'b'c'd'e'f) fmt -> (('b -> 'x -> 'c) -> 'x -> 'a'b'c'd'e'f) fmt
| Theta : ('a'b'c'd'e'f) fmt -> (('b -> 'c) -> 'a'b'c'd'e'f) fmt
| Formatting_lit : formatting_lit * ('a'b'c'd'e'f) fmt -> ('a'b'c'd'e'f) fmt
| Formatting_gen : ('a1'b'c'd1'e1'f1) formatting_gen * ('f1'b'c'e1'e2'f2) fmt -> ('a1'b'c'd1'e2'f2) fmt
| Reader : ('a'b'c'd'e'f) fmt -> ('x -> 'a'b'c, ('b -> 'x) -> 'd'e'f) fmt
| Scan_char_set : pad_option * char_set * ('a'b'c'd'e'f) fmt -> (string -> 'a'b'c'd'e'f) fmt
| Scan_get_counter : counter * ('a'b'c'd'e'f) fmt -> (int -> 'a'b'c'd'e'f) fmt
| Scan_next_char : ('a'b'c'd'e'f) fmt -> (char -> 'a'b'c'd'e'f) fmt
| Ignored_param : ('a'b'c'd'y'x) ignored * ('x'b'c'y'e'f) fmt -> ('a'b'c'd'e'f) fmt
| Custom : ('a'x'y) custom_arity * (unit -> 'x) * ('a'b'c'd'e'f) fmt -> ('y'b'c'd'e'f) fmt
| End_of_format : ('f'b'c'e'e'f) fmt

List of format elements.

and ('a, 'b, 'c, 'd, 'e, 'f) ignored =
| Ignored_char : ('a'b'c'd'd'a) ignored
| Ignored_caml_char : ('a'b'c'd'd'a) ignored
| Ignored_string : pad_option -> ('a'b'c'd'd'a) ignored
| Ignored_caml_string : pad_option -> ('a'b'c'd'd'a) ignored
| Ignored_int : int_conv * pad_option -> ('a'b'c'd'd'a) ignored
| Ignored_int32 : int_conv * pad_option -> ('a'b'c'd'd'a) ignored
| Ignored_nativeint : int_conv * pad_option -> ('a'b'c'd'd'a) ignored
| Ignored_int64 : int_conv * pad_option -> ('a'b'c'd'd'a) ignored
| Ignored_float : pad_option * prec_option -> ('a'b'c'd'd'a) ignored
| Ignored_bool : pad_option -> ('a'b'c'd'd'a) ignored
| Ignored_format_arg : pad_option * ('g'h'i'j'k'l) fmtty -> ('a'b'c'd'd'a) ignored
| Ignored_format_subst : pad_option * ('a'b'c'd'e'f) fmtty -> ('a'b'c'd'e'f) ignored
| Ignored_reader : ('a'b'c, ('b -> 'x) -> 'd'd'a) ignored
| Ignored_scan_char_set : pad_option * char_set -> ('a'b'c'd'd'a) ignored
| Ignored_scan_get_counter : counter -> ('a'b'c'd'd'a) ignored
| Ignored_scan_next_char : ('a'b'c'd'd'a) ignored
and ('a, 'b, 'c, 'd, 'e, 'f) format6 =
| Format of ('a'b'c'd'e'f) fmt * string
val concat_fmtty : ('g1'b1'c1'j1'd1'a1'g2'b2'c2'j2'd2'a2) fmtty_rel -> ('a1'b1'c1'd1'e1'f1'a2'b2'c2'd2'e2'f2) fmtty_rel -> ('g1'b1'c1'j1'e1'f1'g2'b2'c2'j2'e2'f2) fmtty_rel
val erase_rel : ('a'b'c'd'e'f'g'h'i'j'k'l) fmtty_rel -> ('a'b'c'd'e'f) fmtty
val concat_fmt : ('a'b'c'd'e'f) fmt -> ('f'b'c'e'g'h) fmt -> ('a'b'c'd'g'h) fmt