<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Bi_util" rel="Chapter" href="Bi_util.html"> <link title="Bi_share" rel="Chapter" href="Bi_share.html"> <link title="Bi_outbuf" rel="Chapter" href="Bi_outbuf.html"> <link title="Bi_inbuf" rel="Chapter" href="Bi_inbuf.html"> <link title="Bi_vint" rel="Chapter" href="Bi_vint.html"> <link title="Bi_io" rel="Chapter" href="Bi_io.html"> <link title="Bi_stream" rel="Chapter" href="Bi_stream.html"><title>Bi_io</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> node_tag = int<br> <span class="keyword">val</span> bool_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> int8_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> int16_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> int32_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> int64_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> float32_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> float64_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> uvint_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> svint_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> string_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> array_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> tuple_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> record_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> num_variant_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> variant_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> unit_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> table_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> shared_tag : <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> write_tag : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.node_tag <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> read_tag : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">type</span> hash = int<br> <span class="keyword">val</span> hash_name : string <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.hash<br> <span class="keyword">val</span> write_hashtag : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> string_of_hashtag : <span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> read_hashtag :<br> <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> (<span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> read_field_hashtag : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.hash<br> <span class="keyword">val</span> make_unhash : string list <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> string option<br> <span class="keyword">type</span> int7 = int<br> <span class="keyword">val</span> write_numtag : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.int7 <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> read_numtag :<br> <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> (<span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.int7 <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> write_untagged_unit : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_bool : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_char : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_int8 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_int16 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_int32 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_int64 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_float32 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_float64 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_string : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_uvint : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_untagged_svint : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_unit : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_bool : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_char : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_int8 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_int16 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_int32 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_int64 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_float32 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_float64 : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_string : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_uvint : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_svint : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> read_untagged_unit : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> read_untagged_bool : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> read_untagged_char : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> char<br> <span class="keyword">val</span> read_untagged_int8 : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_untagged_int16 : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_untagged_int32 : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> read_untagged_int64 : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> read_untagged_float32 : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> read_untagged_float64 : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> read_untagged_string : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> read_untagged_uvint : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_untagged_svint : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> skip : <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> tree =<br> [ <span class="keywordsign">`</span><span class="constructor">Array</span> <span class="keyword">of</span> (<span class="constructor">Bi_io</span>.node_tag * <span class="constructor">Bi_io</span>.tree array) option<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Bool</span> <span class="keyword">of</span> bool<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Float32</span> <span class="keyword">of</span> float<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Float64</span> <span class="keyword">of</span> float<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Int16</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Int32</span> <span class="keyword">of</span> <span class="constructor">Int32</span>.t<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Int64</span> <span class="keyword">of</span> <span class="constructor">Int64</span>.t<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Int8</span> <span class="keyword">of</span> char<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Num_variant</span> <span class="keyword">of</span> int * <span class="constructor">Bi_io</span>.tree option<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Record</span> <span class="keyword">of</span> (string option * <span class="constructor">Bi_io</span>.hash * <span class="constructor">Bi_io</span>.tree) array<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Shared</span> <span class="keyword">of</span> <span class="constructor">Bi_io</span>.tree<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">String</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Svint</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Table</span> <span class="keyword">of</span><br> ((string option * <span class="constructor">Bi_io</span>.hash * <span class="constructor">Bi_io</span>.node_tag) array *<br> <span class="constructor">Bi_io</span>.tree array array)<br> option<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Tuple</span> <span class="keyword">of</span> <span class="constructor">Bi_io</span>.tree array<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Unit</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Uvint</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Variant</span> <span class="keyword">of</span> string option * <span class="constructor">Bi_io</span>.hash * <span class="constructor">Bi_io</span>.tree option ]<br> <span class="keyword">val</span> write_tree : <span class="constructor">Bi_outbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.tree <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> string_of_tree : <span class="constructor">Bi_io</span>.tree <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> read_tree :<br> ?unhash:(<span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> string option) <span class="keywordsign">-></span> <span class="constructor">Bi_inbuf</span>.t <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.tree<br> <span class="keyword">val</span> tree_of_string :<br> ?unhash:(<span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> string option) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.tree<br> <span class="keyword">val</span> tag_of_tree : <span class="constructor">Bi_io</span>.tree <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.node_tag<br> <span class="keyword">val</span> view_of_tree : <span class="constructor">Bi_io</span>.tree <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> view : ?unhash:(<span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> string option) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> print_view_of_tree : <span class="constructor">Bi_io</span>.tree <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> print_view : ?unhash:(<span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> string option) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> output_view_of_tree : <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-></span> <span class="constructor">Bi_io</span>.tree <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> output_view :<br> ?unhash:(<span class="constructor">Bi_io</span>.hash <span class="keywordsign">-></span> string option) <span class="keywordsign">-></span><br> <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> safety_test : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span></code></body></html>