Sophie

Sophie

distrib > Mageia > 7 > armv7hl > media > core-release > by-pkgid > 3b99134b84e46237bdc23364f5fe8905 > files > 47

ocaml-bitstring-devel-2.0.4-11.mga7.armv7hl.rpm

<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<meta name="viewport" content="width=device-width, initial-scale=1">
<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="Bitmatch" rel="Chapter" href="Bitmatch.html">
<link title="Bitstring" rel="Chapter" href="Bitstring.html">
<link title="Bitstring_persistent" rel="Chapter" href="Bitstring_persistent.html"><title>Bitstring_persistent</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;patt&nbsp;=&nbsp;<span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.patt<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;expr&nbsp;=&nbsp;<span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;loc_t&nbsp;=&nbsp;<span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.<span class="constructor">Loc</span>.t<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;field<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;pattern&nbsp;=&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;constructor&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;named&nbsp;=&nbsp;string&nbsp;*&nbsp;<span class="constructor">Bitstring_persistent</span>.alt<br>
&nbsp;&nbsp;<span class="keyword">and</span>&nbsp;alt&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Pattern</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.pattern<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Constructor</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.constructor<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_pattern&nbsp;:&nbsp;<span class="constructor">Bitstring_persistent</span>.pattern&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_constructor&nbsp;:&nbsp;<span class="constructor">Bitstring_persistent</span>.constructor&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_pattern_field&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;string_of_constructor_field&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;named_to_channel&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Stdlib</span>.out_channel&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.named&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;named_to_string&nbsp;:&nbsp;<span class="constructor">Bitstring_persistent</span>.named&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;named_to_buffer&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.named&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;named_from_channel&nbsp;:&nbsp;<span class="constructor">Stdlib</span>.in_channel&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.named<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;named_from_string&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.named<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;create_pattern_field&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.loc_t&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_lident_patt&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_int_patt&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_string_patt&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_unbound_patt&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_patt&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_length_int&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_length&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_endian&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring</span>.endian&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_endian_expr&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_signed&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_type_int&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_type_string&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_type_bitstring&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_location&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.loc_t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_offset_int&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_offset&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_no_offset&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_check&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_no_check&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_bind&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_no_bind&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_save_offset_to&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_save_offset_to_lident&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_no_save_offset_to&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;create_constructor_field&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.loc_t&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_lident_expr&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_int_expr&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_string_expr&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;set_expr&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_patt&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.patt<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_expr&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Bitstring_persistent</span>.expr<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_length&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;endian_expr&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">ConstantEndian</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Bitstring</span>.endian<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">EndianExpr</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_endian&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.endian_expr<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_signed&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;field_type&nbsp;=&nbsp;<span class="constructor">Int</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">String</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Bitstring</span><br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_type&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.field_type<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_location&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.loc_t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_offset&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_check&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_bind&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.expr&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get_save_offset_to&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Bitstring_persistent</span>.field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Bitstring_persistent</span>.patt&nbsp;option<br>
<span class="keyword">end</span></code></body></html>