Module Pervasives.CamlinternalFormatBasics

module CamlinternalFormatBasics: sig .. end

type block_type = 
| Pp_hbox
| Pp_vbox
| Pp_hvbox
| Pp_hovbox
| Pp_box
| Pp_fits
type formatting = 
| Open_box of string * block_type * int
| Close_box
| Open_tag of string * string
| 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 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
type char_set = string 
type counter = 
| Line_counter
| Char_counter
| Token_counter
type ('a, 'b) padding = 
| No_padding : ('a0, 'a0) padding
| Lit_padding : padty * int -> ('a1, 'a1) padding
| Arg_padding : padty -> (int -> 'a2, 'a2) padding
type pad_option = int option 
type ('a, 'b) precision = 
| No_precision : ('a0, 'a0) precision
| Lit_precision : int -> ('a1, 'a1) precision
| Arg_precision : (int -> 'a2, 'a2) precision
type prec_option = int option 
type ('d1, 'e1, 'd2, 'e2) reader_nb_unifier = 
| Zero_reader : ('d10, 'd10, 'd20, 'd20)
reader_nb_unifier
| Succ_reader : ('d11, 'e10, 'd21, 'e20)
reader_nb_unifier
-> ('x -> 'd11, 'e10, 'x -> 'd21, 'e20)
reader_nb_unifier
type ('a, 'b, 'c, 'd, 'e, 'f) fmtty = 
| Char_ty : ('a0, 'b0, 'c0, 'd0, 'e0, 'f0) fmtty -> (char -> 'a0, 'b0, 'c0, 'd0, 'e0, 'f0)
fmtty
| String_ty : ('a1, 'b1, 'c1, 'd1, 'e1, 'f1) fmtty -> (string -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1)
fmtty
| Int_ty : ('a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty -> (int -> 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)
fmtty
| Int32_ty : ('a3, 'b3, 'c3, 'd3, 'e3, 'f3) fmtty -> (int32 -> 'a3, 'b3, 'c3, 'd3, 'e3, 'f3)
fmtty
| Nativeint_ty : ('a4, 'b4, 'c4, 'd4, 'e4, 'f4) fmtty -> (nativeint -> 'a4, 'b4, 'c4, 'd4, 'e4, 'f4)
fmtty
| Int64_ty : ('a5, 'b5, 'c5, 'd5, 'e5, 'f5) fmtty -> (int64 -> 'a5, 'b5, 'c5, 'd5, 'e5, 'f5)
fmtty
| Float_ty : ('a6, 'b6, 'c6, 'd6, 'e6, 'f6) fmtty -> (float -> 'a6, 'b6, 'c6, 'd6, 'e6, 'f6)
fmtty
| Bool_ty : ('a7, 'b7, 'c7, 'd7, 'e7, 'f7) fmtty -> (bool -> 'a7, 'b7, 'c7, 'd7, 'e7, 'f7)
fmtty
| Format_arg_ty : ('g, 'h, 'i, 'j, 'k, 'l) fmtty
* ('a8, 'b8, 'c8, 'd8, 'e8, 'f8) fmtty
-> (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a8,
'b8, 'c8, 'd8, 'e8, 'f8)
fmtty
| Format_subst_ty : ('d10, 'q1, 'd20, 'q2) reader_nb_unifier
* ('x, 'b9, 'c9, 'd10, 'q1, 'u) fmtty
* ('u, 'b9, 'c9, 'q1, 'e10, 'f9) fmtty
-> (('x, 'b9, 'c9, 'd20, 'q2, 'u) format6 ->
'x, 'b9, 'c9, 'd10, 'e10, 'f9)
fmtty
| Alpha_ty : ('a9, 'b10, 'c10, 'd9, 'e9, 'f10) fmtty -> (('b10 -> 'x0 -> 'c10) -> 'x0 -> 'a9, 'b10, 'c10, 'd9, 'e9, 'f10)
fmtty
| Theta_ty : ('a10, 'b11, 'c11, 'd11, 'e11, 'f11)
fmtty
-> (('b11 -> 'c11) -> 'a10, 'b11, 'c11, 'd11, 'e11, 'f11)
fmtty
| Reader_ty : ('a11, 'b12, 'c12, 'd12, 'e12, 'f12)
fmtty
-> ('x1 -> 'a11, 'b12, 'c12, ('b12 -> 'x1) -> 'd12, 'e12, 'f12)
fmtty
| Ignored_reader_ty : ('a12, 'b13, 'c13, 'd13, 'e13, 'f13)
fmtty
-> ('a12, 'b13, 'c13, ('b13 -> 'x2) -> 'd13, 'e13, 'f13)
fmtty
| End_of_fmtty : ('f14, 'b14, 'c14, 'd14, 'd14, 'f14)
fmtty
type ('a, 'b, 'c, 'd, 'e, 'f) fmt = 
| Char : ('a0, 'b0, 'c0, 'd0, 'e0, 'f0) fmt -> (char -> 'a0, 'b0, 'c0, 'd0, 'e0, 'f0)
fmt
| Caml_char : ('a1, 'b1, 'c1, 'd1, 'e1, 'f1) fmt -> (char -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1)
fmt
| String : ('x, string -> 'a2) padding
* ('a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmt
-> ('x, 'b2, 'c2, 'd2, 'e2, 'f2) fmt
| Caml_string : ('x0, string -> 'a3) padding
* ('a3, 'b3, 'c3, 'd3, 'e3, 'f3) fmt
-> ('x0, 'b3, 'c3, 'd3, 'e3, 'f3) fmt
| Int : int_conv
* ('x1, 'y) padding
* ('y, int -> 'a4) precision
* ('a4, 'b4, 'c4, 'd4, 'e4, 'f4) fmt
-> ('x1, 'b4, 'c4, 'd4, 'e4, 'f4) fmt
| Int32 : int_conv
* ('x2, 'y0) padding
* ('y0, int32 -> 'a5) precision
* ('a5, 'b5, 'c5, 'd5, 'e5, 'f5) fmt
-> ('x2, 'b5, 'c5, 'd5, 'e5, 'f5) fmt
| Nativeint : int_conv
* ('x3, 'y1) padding
* ('y1, nativeint -> 'a6) precision
* ('a6, 'b6, 'c6, 'd6, 'e6, 'f6) fmt
-> ('x3, 'b6, 'c6, 'd6, 'e6, 'f6) fmt
| Int64 : int_conv
* ('x4, 'y2) padding
* ('y2, int64 -> 'a7) precision
* ('a7, 'b7, 'c7, 'd7, 'e7, 'f7) fmt
-> ('x4, 'b7, 'c7, 'd7, 'e7, 'f7) fmt
| Float : float_conv
* ('x5, 'y3) padding
* ('y3, float -> 'a8) precision
* ('a8, 'b8, 'c8, 'd8, 'e8, 'f8) fmt
-> ('x5, 'b8, 'c8, 'd8, 'e8, 'f8) fmt
| Bool : ('a9, 'b9, 'c9, 'd9, 'e9, 'f9) fmt -> (bool -> 'a9, 'b9, 'c9, 'd9, 'e9, 'f9)
fmt
| Flush : ('a10, 'b10, 'c10, 'd10, 'e10, 'f10) fmt -> ('a10, 'b10, 'c10, 'd10, 'e10, 'f10) fmt
| String_literal : string
* ('a11, 'b11, 'c11, 'd11, 'e11, 'f11)
fmt
-> ('a11, 'b11, 'c11, 'd11, 'e11, 'f11) fmt
| Char_literal : char
* ('a12, 'b12, 'c12, 'd12, 'e12, 'f12)
fmt
-> ('a12, 'b12, 'c12, 'd12, 'e12, 'f12) fmt
| Format_arg : pad_option
* ('g, 'h, 'i, 'j, 'k, 'l) fmtty
* ('a13, 'b13, 'c13, 'd13, 'e13, 'f13)
fmt
-> (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a13,
'b13, 'c13, 'd13, 'e13, 'f13)
fmt
| Format_subst : pad_option
* ('d14, 'q1, 'd20, 'q2)
reader_nb_unifier
* ('x6, 'b14, 'c14, 'd14, 'q1, 'u)
fmtty
* ('u, 'b14, 'c14, 'q1, 'e14, 'f14)
fmt
-> (('x6, 'b14, 'c14, 'd20, 'q2, 'u) format6 ->
'x6, 'b14, 'c14, 'd14, 'e14, 'f14)
fmt
| Alpha : ('a14, 'b15, 'c15, 'd15, 'e15, 'f15) fmt -> (('b15 -> 'x7 -> 'c15) -> 'x7 -> 'a14, 'b15, 'c15, 'd15, 'e15, 'f15)
fmt
| Theta : ('a15, 'b16, 'c16, 'd16, 'e16, 'f16) fmt -> (('b16 -> 'c16) -> 'a15, 'b16, 'c16, 'd16, 'e16, 'f16)
fmt
| Formatting : formatting
* ('a16, 'b17, 'c17, 'd17, 'e17, 'f17)
fmt
-> ('a16, 'b17, 'c17, 'd17, 'e17, 'f17) fmt
| Reader : ('a17, 'b18, 'c18, 'd18, 'e18, 'f18) fmt -> ('x8 -> 'a17, 'b18, 'c18, ('b18 -> 'x8) -> 'd18, 'e18, 'f18)
fmt
| Scan_char_set : pad_option
* char_set
* ('a18, 'b19, 'c19, 'd19, 'e19, 'f19)
fmt
-> (string -> 'a18, 'b19, 'c19, 'd19, 'e19, 'f19)
fmt
| Scan_get_counter : counter
* ('a19, 'b20, 'c20, 'd21, 'e20, 'f20)
fmt
-> (int -> 'a19, 'b20, 'c20, 'd21, 'e20, 'f20)
fmt
| Ignored_param : ('a20, 'b21, 'c21, 'd22, 'y4, 'x9)
ignored
* ('x9, 'b21, 'c21, 'y4, 'e21, 'f21)
fmt
-> ('a20, 'b21, 'c21, 'd22, 'e21, 'f21) fmt
| End_of_format : ('f22, 'b22, 'c22, 'e22, 'e22, 'f22) fmt
type ('a, 'b, 'c, 'd, 'e, 'f) ignored = 
| Ignored_char : ('a0, 'b0, 'c0, 'd0, 'd0, 'a0) ignored
| Ignored_caml_char : ('a1, 'b1, 'c1, 'd1, 'd1, 'a1) ignored
| Ignored_string : pad_option -> ('a2, 'b2, 'c2, 'd2, 'd2, 'a2) ignored
| Ignored_caml_string : pad_option -> ('a3, 'b3, 'c3, 'd3, 'd3, 'a3) ignored
| Ignored_int : int_conv
* pad_option
-> ('a4, 'b4, 'c4, 'd4, 'd4, 'a4) ignored
| Ignored_int32 : int_conv
* pad_option
-> ('a5, 'b5, 'c5, 'd5, 'd5, 'a5) ignored
| Ignored_nativeint : int_conv
* pad_option
-> ('a6, 'b6, 'c6, 'd6, 'd6, 'a6) ignored
| Ignored_int64 : int_conv
* pad_option
-> ('a7, 'b7, 'c7, 'd7, 'd7, 'a7) ignored
| Ignored_float : pad_option
* prec_option
-> ('a8, 'b8, 'c8, 'd8, 'd8, 'a8) ignored
| Ignored_bool : ('a9, 'b9, 'c9, 'd9, 'd9, 'a9) ignored
| Ignored_format_arg : pad_option
* ('x, 'b10, 'c10, 'y, 'z, 't) fmtty
-> ('a10, 'b10, 'c10, 'd10, 'd10, 'a10)
ignored
| Ignored_format_subst : pad_option
* ('a11, 'b11, 'c11, 'd11, 'e0, 'f0)
fmtty
-> ('a11, 'b11, 'c11, 'd11, 'e0, 'f0)
ignored
| Ignored_reader : ('a12, 'b12, 'c12, ('b12 -> 'x0) -> 'd12, 'd12, 'a12)
ignored
| Ignored_scan_char_set : pad_option
* char_set
-> ('a13, 'b13, 'c13, 'd13, 'd13, 'a13)
ignored
| Ignored_scan_get_counter : counter -> ('a14, 'b14, 'c14, 'd14, 'd14, 'a14)
ignored
type ('a, 'b, 'c, 'd, 'e, 'f) format6 = 
| Format of ('a, 'b, 'c, 'd, 'e, 'f) fmt * string
val concat_fmtty : ('a, 'b, 'c, 'd, 'e, 'f) fmtty ->
('f, 'b, 'c, 'e, 'g, 'h) fmtty ->
('a, 'b, 'c, 'd, 'g, 'h) 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