suzanne.soy/man-pages
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
gh-pages
man-pages/man3/CamlinternalFormatBasics.3o.html
Suzanne Soy 4c89183f2b Added man pages from my system
2021-03-31 01:06:50 +01:00

1117 lines
18 KiB
HTML
Raw Permalink Blame History

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<HTML><HEAD><TITLE>Man page of CamlinternalFormatBasics</TITLE>
</HEAD><BODY>
<H1>CamlinternalFormatBasics</H1>
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
<A NAME="lbAB">&nbsp;</A>
<H2>NAME</H2>
CamlinternalFormatBasics - no description
<A NAME="lbAC">&nbsp;</A>
<H2>Module</H2>
Module CamlinternalFormatBasics
<A NAME="lbAD">&nbsp;</A>
<H2>Documentation</H2>
<P>
Module
<B>CamlinternalFormatBasics</B>
<BR>&nbsp;:&nbsp;
<B>sig end</B>
<P>
<P>
<P>
<P>
<P>
<P>
<P>
<I>type padty </I>
=
<BR>&nbsp;|&nbsp;Left
<BR>&nbsp;|&nbsp;Right
<BR>&nbsp;|&nbsp;Zeros
<BR>&nbsp;
<P>
<P>
<P>
<I>type int_conv </I>
=
<BR>&nbsp;|&nbsp;Int_d
<BR>&nbsp;|&nbsp;Int_pd
<BR>&nbsp;|&nbsp;Int_sd
<BR>&nbsp;|&nbsp;Int_i
<BR>&nbsp;|&nbsp;Int_pi
<BR>&nbsp;|&nbsp;Int_si
<BR>&nbsp;|&nbsp;Int_x
<BR>&nbsp;|&nbsp;Int_Cx
<BR>&nbsp;|&nbsp;Int_X
<BR>&nbsp;|&nbsp;Int_CX
<BR>&nbsp;|&nbsp;Int_o
<BR>&nbsp;|&nbsp;Int_Co
<BR>&nbsp;|&nbsp;Int_u
<BR>&nbsp;|&nbsp;Int_Cd
<BR>&nbsp;|&nbsp;Int_Ci
<BR>&nbsp;|&nbsp;Int_Cu
<BR>&nbsp;
<P>
<P>
<P>
<I>type float_conv </I>
=
<BR>&nbsp;|&nbsp;Float_f
<BR>&nbsp;|&nbsp;Float_pf
<BR>&nbsp;|&nbsp;Float_sf
<BR>&nbsp;|&nbsp;Float_e
<BR>&nbsp;|&nbsp;Float_pe
<BR>&nbsp;|&nbsp;Float_se
<BR>&nbsp;|&nbsp;Float_E
<BR>&nbsp;|&nbsp;Float_pE
<BR>&nbsp;|&nbsp;Float_sE
<BR>&nbsp;|&nbsp;Float_g
<BR>&nbsp;|&nbsp;Float_pg
<BR>&nbsp;|&nbsp;Float_sg
<BR>&nbsp;|&nbsp;Float_G
<BR>&nbsp;|&nbsp;Float_pG
<BR>&nbsp;|&nbsp;Float_sG
<BR>&nbsp;|&nbsp;Float_F
<BR>&nbsp;|&nbsp;Float_h
<BR>&nbsp;|&nbsp;Float_ph
<BR>&nbsp;|&nbsp;Float_sh
<BR>&nbsp;|&nbsp;Float_H
<BR>&nbsp;|&nbsp;Float_pH
<BR>&nbsp;|&nbsp;Float_sH
<BR>&nbsp;
<P>
<P>
<P>
<I>type char_set </I>
=
<B>string</B>
<P>
<P>
<P>
<P>
<I>type counter </I>
=
<BR>&nbsp;|&nbsp;Line_counter
<BR>&nbsp;|&nbsp;Char_counter
<BR>&nbsp;|&nbsp;Token_counter
<BR>&nbsp;
<P>
<P>
<P>
<I>type </I>
<B>('a, 'b)</B>
<I>padding </I>
=
<BR>&nbsp;|&nbsp;No_padding
<B>: </B>
<B>('a0, 'a0) padding</B>
<BR>&nbsp;|&nbsp;Lit_padding
<B>: </B>
<B>padty * int</B>
<B>-&gt; </B>
<B>('a1, 'a1) padding</B>
<BR>&nbsp;|&nbsp;Arg_padding
<B>: </B>
<B>padty</B>
<B>-&gt; </B>
<B>(int -&gt; 'a2, 'a2) padding</B>
<BR>&nbsp;
<P>
<P>
<P>
<I>type pad_option </I>
=
<B>int option</B>
<P>
<P>
<P>
<P>
<I>type </I>
<B>('a, 'b)</B>
<I>precision </I>
=
<BR>&nbsp;|&nbsp;No_precision
<B>: </B>
<B>('a0, 'a0) precision</B>
<BR>&nbsp;|&nbsp;Lit_precision
<B>: </B>
<B>int</B>
<B>-&gt; </B>
<B>('a1, 'a1) precision</B>
<BR>&nbsp;|&nbsp;Arg_precision
<B>: </B>
<B>(int -&gt; 'a2, 'a2) precision</B>
<BR>&nbsp;
<P>
<P>
<P>
<I>type prec_option </I>
=
<B>int option</B>
<P>
<P>
<P>
<P>
<I>type </I>
<B>('a, 'b, 'c)</B>
<I>custom_arity </I>
=
<BR>&nbsp;|&nbsp;Custom_zero
<B>: </B>
<B>('a0, string, 'a0) custom_arity</B>
<BR>&nbsp;|&nbsp;Custom_succ
<B>: </B>
<B>('a1, 'b0, 'c0) custom_arity</B>
<B>-&gt; </B>
<B>('a1, 'x -&gt; 'b0, 'x -&gt; 'c0) custom_arity</B>
<BR>&nbsp;
<P>
<P>
<P>
<I>type block_type </I>
=
<BR>&nbsp;|&nbsp;Pp_hbox
<BR>&nbsp;|&nbsp;Pp_vbox
<BR>&nbsp;|&nbsp;Pp_hvbox
<BR>&nbsp;|&nbsp;Pp_hovbox
<BR>&nbsp;|&nbsp;Pp_box
<BR>&nbsp;|&nbsp;Pp_fits
<BR>&nbsp;
<P>
<P>
<P>
<I>type formatting_lit </I>
=
<BR>&nbsp;|&nbsp;Close_box
<BR>&nbsp;|&nbsp;Close_tag
<BR>&nbsp;|&nbsp;Break
<B>of </B>
<B>string * int * int</B>
<BR>&nbsp;|&nbsp;FFlush
<BR>&nbsp;|&nbsp;Force_newline
<BR>&nbsp;|&nbsp;Flush_newline
<BR>&nbsp;|&nbsp;Magic_size
<B>of </B>
<B>string * int</B>
<BR>&nbsp;|&nbsp;Escaped_at
<BR>&nbsp;|&nbsp;Escaped_percent
<BR>&nbsp;|&nbsp;Scan_indic
<B>of </B>
<B>char</B>
<BR>&nbsp;
<P>
<P>
<P>
<I>type </I>
<B>('a, 'b, 'c, 'd, 'e, 'f)</B>
<I>formatting_gen </I>
=
<BR>&nbsp;|&nbsp;Open_tag
<B>: </B>
<B>('a0, 'b0, 'c0, 'd0, 'e0, 'f0) format6</B>
<B>-&gt; </B>
<B>('a0, 'b0, 'c0, 'd0, 'e0, 'f0) formatting_gen</B>
<BR>&nbsp;|&nbsp;Open_box
<B>: </B>
<B>('a1, 'b1, 'c1, 'd1, 'e1, 'f1) format6</B>
<B>-&gt; </B>
<B>('a1, 'b1, 'c1, 'd1, 'e1, 'f1) formatting_gen</B>
<BR>&nbsp;
<P>
<P>
<P>
<I>type </I>
<B>('a, 'b, 'c, 'd, 'e, 'f)</B>
<I>fmtty </I>
=
<B>('a, 'b, 'c, 'd, 'e, 'f, 'a, 'b, 'c, 'd, 'e, 'f)</B>
<B>fmtty_rel</B>
<P>
<P>
<P>
<P>
<I>type </I>
<B>('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)</B>
<I>fmtty_rel </I>
=
<BR>&nbsp;|&nbsp;Char_ty
<B>: </B>
<B>('a10, 'b10, 'c10, 'd10, 'e10, 'f10, 'a20, 'b20, 'c20, 'd20, 'e20, 'f20)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(char -&gt; 'a10, 'b10, 'c10, 'd10, 'e10, 'f10, char -&gt; 'a20, 'b20, 'c20, 'd20,</B>
<B>'e20, 'f20)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;String_ty
<B>: </B>
<B>('a11, 'b11, 'c11, 'd11, 'e11, 'f11, 'a21, 'b21, 'c21, 'd21, 'e21, 'f21)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(string -&gt; 'a11, 'b11, 'c11, 'd11, 'e11, 'f11, string -&gt; 'a21, 'b21, 'c21,</B>
<B>'d21, 'e21, 'f21)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Int_ty
<B>: </B>
<B>('a12, 'b12, 'c12, 'd12, 'e12, 'f12, 'a22, 'b22, 'c22, 'd22, 'e22, 'f22)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(int -&gt; 'a12, 'b12, 'c12, 'd12, 'e12, 'f12, int -&gt; 'a22, 'b22, 'c22, 'd22,</B>
<B>'e22, 'f22)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Int32_ty
<B>: </B>
<B>('a13, 'b13, 'c13, 'd13, 'e13, 'f13, 'a23, 'b23, 'c23, 'd23, 'e23, 'f23)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(int32 -&gt; 'a13, 'b13, 'c13, 'd13, 'e13, 'f13, int32 -&gt; 'a23, 'b23, 'c23,</B>
<B>'d23, 'e23, 'f23)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Nativeint_ty
<B>: </B>
<B>('a14, 'b14, 'c14, 'd14, 'e14, 'f14, 'a24, 'b24, 'c24, 'd24, 'e24, 'f24)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(nativeint -&gt; 'a14, 'b14, 'c14, 'd14, 'e14, 'f14, nativeint -&gt; 'a24, 'b24,</B>
<B>'c24, 'd24, 'e24, 'f24)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Int64_ty
<B>: </B>
<B>('a15, 'b15, 'c15, 'd15, 'e15, 'f15, 'a25, 'b25, 'c25, 'd25, 'e25, 'f25)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(int64 -&gt; 'a15, 'b15, 'c15, 'd15, 'e15, 'f15, int64 -&gt; 'a25, 'b25, 'c25,</B>
<B>'d25, 'e25, 'f25)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Float_ty
<B>: </B>
<B>('a16, 'b16, 'c16, 'd16, 'e16, 'f16, 'a26, 'b26, 'c26, 'd26, 'e26, 'f26)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(float -&gt; 'a16, 'b16, 'c16, 'd16, 'e16, 'f16, float -&gt; 'a26, 'b26, 'c26,</B>
<B>'d26, 'e26, 'f26)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Bool_ty
<B>: </B>
<B>('a17, 'b17, 'c17, 'd17, 'e17, 'f17, 'a27, 'b27, 'c27, 'd27, 'e27, 'f27)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(bool -&gt; 'a17, 'b17, 'c17, 'd17, 'e17, 'f17, bool -&gt; 'a27, 'b27, 'c27, 'd27,</B>
<B>'e27, 'f27)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Format_arg_ty
<B>: </B>
<B>('g, 'h, 'i, 'j, 'k, 'l) fmtty</B>
<B>* ('a18, 'b18, 'c18, 'd18, 'e18, 'f18, 'a28, 'b28, 'c28, 'd28, 'e28, 'f28)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(('g, 'h, 'i, 'j, 'k, 'l) format6 -&gt; 'a18, 'b18,</B>
<B>'c18, 'd18, 'e18, 'f18,</B>
<B>('g, 'h, 'i, 'j, 'k, 'l) format6 -&gt; 'a28, 'b28,</B>
<B>'c28, 'd28, 'e28, 'f28)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Format_subst_ty
<B>: </B>
<B>('g0, 'h0, 'i0, 'j0, 'k0, 'l0, 'g1, 'b19, 'c19, 'j1, 'd19, 'a19)</B>
<B>fmtty_rel</B>
<B>* ('g0, 'h0, 'i0, 'j0, 'k0, 'l0, 'g2, 'b29, 'c29, 'j2, 'd29, 'a29)</B>
<B>fmtty_rel</B>
<B>* ('a19, 'b19, 'c19, 'd19, 'e19, 'f19, 'a29, 'b29, 'c29, 'd29, 'e29, 'f29)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(('g0, 'h0, 'i0, 'j0, 'k0, 'l0) format6 -&gt; 'g1,</B>
<B>'b19, 'c19, 'j1, 'e19, 'f19,</B>
<B>('g0, 'h0, 'i0, 'j0, 'k0, 'l0) format6 -&gt; 'g2,</B>
<B>'b29, 'c29, 'j2, 'e29, 'f29)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Alpha_ty
<B>: </B>
<B>('a110, 'b110, 'c110, 'd110, 'e110, 'f110, 'a210, 'b210, 'c210, 'd210, 'e210,</B>
<B>'f210)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(('b110 -&gt; 'x -&gt; 'c110) -&gt; 'x -&gt; 'a110, 'b110, 'c110, 'd110, 'e110, 'f110,</B>
<B>('b210 -&gt; 'x -&gt; 'c210) -&gt; 'x -&gt; 'a210, 'b210, 'c210, 'd210, 'e210, 'f210)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Theta_ty
<B>: </B>
<B>('a111, 'b111, 'c111, 'd111, 'e111, 'f111, 'a211, 'b211, 'c211, 'd211, 'e211,</B>
<B>'f211)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>(('b111 -&gt; 'c111) -&gt; 'a111, 'b111, 'c111, 'd111, 'e111, 'f111,</B>
<B>('b211 -&gt; 'c211) -&gt; 'a211, 'b211, 'c211, 'd211, 'e211, 'f211)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Any_ty
<B>: </B>
<B>('a112, 'b112, 'c112, 'd112, 'e112, 'f112, 'a212, 'b212, 'c212, 'd212, 'e212,</B>
<B>'f212)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>('x0 -&gt; 'a112, 'b112, 'c112, 'd112, 'e112, 'f112, 'x0 -&gt; 'a212, 'b212, 'c212,</B>
<B>'d212, 'e212, 'f212)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Reader_ty
<B>: </B>
<B>('a113, 'b113, 'c113, 'd113, 'e113, 'f113, 'a213, 'b213, 'c213, 'd213, 'e213,</B>
<B>'f213)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>('x1 -&gt; 'a113, 'b113, 'c113, ('b113 -&gt; 'x1) -&gt; 'd113, 'e113, 'f113,</B>
<B>'x1 -&gt; 'a213, 'b213, 'c213, ('b213 -&gt; 'x1) -&gt; 'd213, 'e213, 'f213)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;Ignored_reader_ty
<B>: </B>
<B>('a114, 'b114, 'c114, 'd114, 'e114, 'f114, 'a214, 'b214, 'c214, 'd214, 'e214,</B>
<B>'f214)</B>
<B>fmtty_rel</B>
<B>-&gt; </B>
<B>('a114, 'b114, 'c114, ('b114 -&gt; 'x2) -&gt; 'd114, 'e114, 'f114, 'a214, 'b214,</B>
<B>'c214, ('b214 -&gt; 'x2) -&gt; 'd214, 'e214, 'f214)</B>
<B>fmtty_rel</B>
<BR>&nbsp;|&nbsp;End_of_fmtty
<B>: </B>
<B>('f115, 'b115, 'c115, 'd115, 'd115, 'f115, 'f215, 'b215, 'c215, 'd215, 'd215,</B>
<B>'f215)</B>
<B>fmtty_rel</B>
<BR>&nbsp;
<P>
<P>
<P>
<I>type </I>
<B>('a, 'b, 'c, 'd, 'e, 'f)</B>
<I>fmt </I>
=
<BR>&nbsp;|&nbsp;Char
<B>: </B>
<B>('a0, 'b0, 'c0, 'd0, 'e0, 'f0) fmt</B>
<B>-&gt; </B>
<B>(char -&gt; 'a0, 'b0, 'c0, 'd0, 'e0, 'f0) fmt</B>
<BR>&nbsp;|&nbsp;Caml_char
<B>: </B>
<B>('a1, 'b1, 'c1, 'd1, 'e1, 'f1) fmt</B>
<B>-&gt; </B>
<B>(char -&gt; 'a1, 'b1, 'c1, 'd1, 'e1, 'f1) fmt</B>
<BR>&nbsp;|&nbsp;String
<B>: </B>
<B>('x, string -&gt; 'a2) padding</B>
<B>* ('a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmt</B>
<B>-&gt; </B>
<B>('x, 'b2, 'c2, 'd2, 'e2, 'f2) fmt</B>
<BR>&nbsp;|&nbsp;Caml_string
<B>: </B>
<B>('x0, string -&gt; 'a3) padding</B>
<B>* ('a3, 'b3, 'c3, 'd3, 'e3, 'f3) fmt</B>
<B>-&gt; </B>
<B>('x0, 'b3, 'c3, 'd3, 'e3, 'f3) fmt</B>
<BR>&nbsp;|&nbsp;Int
<B>: </B>
<B>int_conv</B>
<B>* ('x1, 'y) padding</B>
<B>* ('y, int -&gt; 'a4) precision</B>
<B>* ('a4, 'b4, 'c4, 'd4, 'e4, 'f4) fmt</B>
<B>-&gt; </B>
<B>('x1, 'b4, 'c4, 'd4, 'e4, 'f4) fmt</B>
<BR>&nbsp;|&nbsp;Int32
<B>: </B>
<B>int_conv</B>
<B>* ('x2, 'y0) padding</B>
<B>* ('y0, int32 -&gt; 'a5) precision</B>
<B>* ('a5, 'b5, 'c5, 'd5, 'e5, 'f5) fmt</B>
<B>-&gt; </B>
<B>('x2, 'b5, 'c5, 'd5, 'e5, 'f5) fmt</B>
<BR>&nbsp;|&nbsp;Nativeint
<B>: </B>
<B>int_conv</B>
<B>* ('x3, 'y1) padding</B>
<B>* ('y1, nativeint -&gt; 'a6) precision</B>
<B>* ('a6, 'b6, 'c6, 'd6, 'e6, 'f6) fmt</B>
<B>-&gt; </B>
<B>('x3, 'b6, 'c6, 'd6, 'e6, 'f6) fmt</B>
<BR>&nbsp;|&nbsp;Int64
<B>: </B>
<B>int_conv</B>
<B>* ('x4, 'y2) padding</B>
<B>* ('y2, int64 -&gt; 'a7) precision</B>
<B>* ('a7, 'b7, 'c7, 'd7, 'e7, 'f7) fmt</B>
<B>-&gt; </B>
<B>('x4, 'b7, 'c7, 'd7, 'e7, 'f7) fmt</B>
<BR>&nbsp;|&nbsp;Float
<B>: </B>
<B>float_conv</B>
<B>* ('x5, 'y3) padding</B>
<B>* ('y3, float -&gt; 'a8) precision</B>
<B>* ('a8, 'b8, 'c8, 'd8, 'e8, 'f8) fmt</B>
<B>-&gt; </B>
<B>('x5, 'b8, 'c8, 'd8, 'e8, 'f8) fmt</B>
<BR>&nbsp;|&nbsp;Bool
<B>: </B>
<B>('x6, bool -&gt; 'a9) padding</B>
<B>* ('a9, 'b9, 'c9, 'd9, 'e9, 'f9) fmt</B>
<B>-&gt; </B>
<B>('x6, 'b9, 'c9, 'd9, 'e9, 'f9) fmt</B>
<BR>&nbsp;|&nbsp;Flush
<B>: </B>
<B>('a10, 'b10, 'c10, 'd10, 'e10, 'f10) fmt</B>
<B>-&gt; </B>
<B>('a10, 'b10, 'c10, 'd10, 'e10, 'f10) fmt</B>
<BR>&nbsp;|&nbsp;String_literal
<B>: </B>
<B>string * ('a11, 'b11, 'c11, 'd11, 'e11, 'f11) fmt</B>
<B>-&gt; </B>
<B>('a11, 'b11, 'c11, 'd11, 'e11, 'f11) fmt</B>
<BR>&nbsp;|&nbsp;Char_literal
<B>: </B>
<B>char * ('a12, 'b12, 'c12, 'd12, 'e12, 'f12) fmt</B>
<B>-&gt; </B>
<B>('a12, 'b12, 'c12, 'd12, 'e12, 'f12) fmt</B>
<BR>&nbsp;|&nbsp;Format_arg
<B>: </B>
<B>pad_option</B>
<B>* ('g, 'h, 'i, 'j, 'k, 'l) fmtty</B>
<B>* ('a13, 'b13, 'c13, 'd13, 'e13, 'f13) fmt</B>
<B>-&gt; </B>
<B>(('g, 'h, 'i, 'j, 'k, 'l) format6 -&gt; 'a13, 'b13,</B>
<B>'c13, 'd13, 'e13, 'f13)</B>
<B>fmt</B>
<BR>&nbsp;|&nbsp;Format_subst
<B>: </B>
<B>pad_option</B>
<B>* ('g0, 'h0, 'i0, 'j0, 'k0, 'l0, 'g2, 'b14, 'c14, 'j2, 'd14, 'a14)</B>
<B>fmtty_rel</B>
<B>* ('a14, 'b14, 'c14, 'd14, 'e14, 'f14) fmt</B>
<B>-&gt; </B>
<B>(('g0, 'h0, 'i0, 'j0, 'k0, 'l0) format6 -&gt; 'g2,</B>
<B>'b14, 'c14, 'j2, 'e14, 'f14)</B>
<B>fmt</B>
<BR>&nbsp;|&nbsp;Alpha
<B>: </B>
<B>('a15, 'b15, 'c15, 'd15, 'e15, 'f15) fmt</B>
<B>-&gt; </B>
<B>(('b15 -&gt; 'x7 -&gt; 'c15) -&gt; 'x7 -&gt; 'a15, 'b15, 'c15, 'd15, 'e15, 'f15)</B>
<B>fmt</B>
<BR>&nbsp;|&nbsp;Theta
<B>: </B>
<B>('a16, 'b16, 'c16, 'd16, 'e16, 'f16) fmt</B>
<B>-&gt; </B>
<B>(('b16 -&gt; 'c16) -&gt; 'a16, 'b16, 'c16, 'd16, 'e16, 'f16)</B>
<B>fmt</B>
<BR>&nbsp;|&nbsp;Formatting_lit
<B>: </B>
<B>formatting_lit</B>
<B>* ('a17, 'b17, 'c17, 'd17, 'e17, 'f17) fmt</B>
<B>-&gt; </B>
<B>('a17, 'b17, 'c17, 'd17, 'e17, 'f17) fmt</B>
<BR>&nbsp;|&nbsp;Formatting_gen
<B>: </B>
<B>('a18, 'b18, 'c18, 'd18, 'e18, 'f18) formatting_gen</B>
<B>* ('f18, 'b18, 'c18, 'e18, 'e20, 'f20) fmt</B>
<B>-&gt; </B>
<B>('a18, 'b18, 'c18, 'd18, 'e20, 'f20) fmt</B>
<BR>&nbsp;|&nbsp;Reader
<B>: </B>
<B>('a19, 'b19, 'c19, 'd19, 'e19, 'f19) fmt</B>
<B>-&gt; </B>
<B>('x8 -&gt; 'a19, 'b19, 'c19, ('b19 -&gt; 'x8) -&gt; 'd19, 'e19, 'f19)</B>
<B>fmt</B>
<BR>&nbsp;|&nbsp;Scan_char_set
<B>: </B>
<B>pad_option * char_set</B>
<B>* ('a20, 'b20, 'c20, 'd20, 'e21, 'f21) fmt</B>
<B>-&gt; </B>
<B>(string -&gt; 'a20, 'b20, 'c20, 'd20, 'e21, 'f21) fmt</B>
<BR>&nbsp;|&nbsp;Scan_get_counter
<B>: </B>
<B>counter</B>
<B>* ('a21, 'b21, 'c21, 'd21, 'e22, 'f22) fmt</B>
<B>-&gt; </B>
<B>(int -&gt; 'a21, 'b21, 'c21, 'd21, 'e22, 'f22) fmt</B>
<BR>&nbsp;|&nbsp;Scan_next_char
<B>: </B>
<B>('a22, 'b22, 'c22, 'd22, 'e23, 'f23) fmt</B>
<B>-&gt; </B>
<B>(char -&gt; 'a22, 'b22, 'c22, 'd22, 'e23, 'f23) fmt</B>
<BR>&nbsp;|&nbsp;Ignored_param
<B>: </B>
<B>('a23, 'b23, 'c23, 'd23, 'y4, 'x9) ignored</B>
<B>* ('x9, 'b23, 'c23, 'y4, 'e24, 'f24) fmt</B>
<B>-&gt; </B>
<B>('a23, 'b23, 'c23, 'd23, 'e24, 'f24) fmt</B>
<BR>&nbsp;|&nbsp;Custom
<B>: </B>
<B>('a24, 'x10, 'y5) custom_arity * (unit -&gt; 'x10)</B>
<B>* ('a24, 'b24, 'c24, 'd24, 'e25, 'f25) fmt</B>
<B>-&gt; </B>
<B>('y5, 'b24, 'c24, 'd24, 'e25, 'f25) fmt</B>
<BR>&nbsp;|&nbsp;End_of_format
<B>: </B>
<B>('f26, 'b25, 'c25, 'e26, 'e26, 'f26) fmt</B>
<BR>&nbsp;
<P>
List of format elements.
<P>
<P>
<I>type </I>
<B>('a, 'b, 'c, 'd, 'e, 'f)</B>
<I>ignored </I>
=
<BR>&nbsp;|&nbsp;Ignored_char
<B>: </B>
<B>('a0, 'b0, 'c0, 'd0, 'd0, 'a0) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_caml_char
<B>: </B>
<B>('a1, 'b1, 'c1, 'd1, 'd1, 'a1) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_string
<B>: </B>
<B>pad_option</B>
<B>-&gt; </B>
<B>('a2, 'b2, 'c2, 'd2, 'd2, 'a2) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_caml_string
<B>: </B>
<B>pad_option</B>
<B>-&gt; </B>
<B>('a3, 'b3, 'c3, 'd3, 'd3, 'a3) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_int
<B>: </B>
<B>int_conv * pad_option</B>
<B>-&gt; </B>
<B>('a4, 'b4, 'c4, 'd4, 'd4, 'a4) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_int32
<B>: </B>
<B>int_conv * pad_option</B>
<B>-&gt; </B>
<B>('a5, 'b5, 'c5, 'd5, 'd5, 'a5) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_nativeint
<B>: </B>
<B>int_conv * pad_option</B>
<B>-&gt; </B>
<B>('a6, 'b6, 'c6, 'd6, 'd6, 'a6) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_int64
<B>: </B>
<B>int_conv * pad_option</B>
<B>-&gt; </B>
<B>('a7, 'b7, 'c7, 'd7, 'd7, 'a7) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_float
<B>: </B>
<B>pad_option * prec_option</B>
<B>-&gt; </B>
<B>('a8, 'b8, 'c8, 'd8, 'd8, 'a8) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_bool
<B>: </B>
<B>pad_option</B>
<B>-&gt; </B>
<B>('a9, 'b9, 'c9, 'd9, 'd9, 'a9) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_format_arg
<B>: </B>
<B>pad_option</B>
<B>* ('g, 'h, 'i, 'j, 'k, 'l) fmtty</B>
<B>-&gt; </B>
<B>('a10, 'b10, 'c10, 'd10, 'd10, 'a10) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_format_subst
<B>: </B>
<B>pad_option</B>
<B>* ('a11, 'b11, 'c11, 'd11, 'e0, 'f0) fmtty</B>
<B>-&gt; </B>
<B>('a11, 'b11, 'c11, 'd11, 'e0, 'f0) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_reader
<B>: </B>
<B>('a12, 'b12, 'c12, ('b12 -&gt; 'x) -&gt; 'd12, 'd12, 'a12)</B>
<B>ignored</B>
<BR>&nbsp;|&nbsp;Ignored_scan_char_set
<B>: </B>
<B>pad_option * char_set</B>
<B>-&gt; </B>
<B>('a13, 'b13, 'c13, 'd13, 'd13, 'a13) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_scan_get_counter
<B>: </B>
<B>counter</B>
<B>-&gt; </B>
<B>('a14, 'b14, 'c14, 'd14, 'd14, 'a14) ignored</B>
<BR>&nbsp;|&nbsp;Ignored_scan_next_char
<B>: </B>
<B>('a15, 'b15, 'c15, 'd15, 'd15, 'a15) ignored</B>
<BR>&nbsp;
<P>
<P>
<P>
<I>type </I>
<B>('a, 'b, 'c, 'd, 'e, 'f)</B>
<I>format6 </I>
=
<BR>&nbsp;|&nbsp;Format
<B>of </B>
<B>('a, 'b, 'c, 'd, 'e, 'f) fmt * string</B>
<BR>&nbsp;
<P>
<P>
<P>
<P>
<I>val concat_fmtty </I>
:
<B>('g1, 'b1, 'c1, 'j1, 'd1, 'a1, 'g2, 'b2, 'c2, 'j2, 'd2, 'a2)</B>
<B>fmtty_rel -&gt;</B>
<B>('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)</B>
<B>fmtty_rel -&gt;</B>
<B>('g1, 'b1, 'c1, 'j1, 'e1, 'f1, 'g2, 'b2, 'c2, 'j2, 'e2, 'f2)</B>
<B>fmtty_rel</B>
<P>
<P>
<P>
<P>
<I>val erase_rel </I>
:
<B>('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l)</B>
<B>fmtty_rel -&gt;</B>
<B>('a, 'b, 'c, 'd, 'e, 'f) fmtty</B>
<P>
<P>
<P>
<P>
<I>val concat_fmt </I>
:
<B>('a, 'b, 'c, 'd, 'e, 'f) fmt -&gt;</B>
<B>('f, 'b, 'c, 'e, 'g, 'h) fmt -&gt;</B>
<B>('a, 'b, 'c, 'd, 'g, 'h) fmt</B>
<P>
<P>
<P>
<P>
<HR>
<A NAME="index">&nbsp;</A><H2>Index</H2>
<DL>
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
<DT id="2"><A HREF="#lbAC">Module</A><DD>
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
</DL>
<HR>
This document was created by
<A HREF="/cgi-bin/man/man2html">man2html</A>,
using the manual pages.<BR>
Time: 00:05:37 GMT, March 31, 2021
</BODY>
</HTML>
Reference in New Issue View Git Blame Copy Permalink