<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="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Binable" rel="Chapter" href="Binable.html"> <link title="Nat0" rel="Chapter" href="Nat0.html"> <link title="Common" rel="Chapter" href="Common.html"> <link title="Unsafe_common" rel="Chapter" href="Unsafe_common.html"> <link title="Unsafe_write_c" rel="Chapter" href="Unsafe_write_c.html"> <link title="Unsafe_read_c" rel="Chapter" href="Unsafe_read_c.html"> <link title="Size" rel="Chapter" href="Size.html"> <link title="Write_ml" rel="Chapter" href="Write_ml.html"> <link title="Read_ml" rel="Chapter" href="Read_ml.html"> <link title="Write_c" rel="Chapter" href="Write_c.html"> <link title="Read_c" rel="Chapter" href="Read_c.html"> <link title="Std" rel="Chapter" href="Std.html"> <link title="Type_class" rel="Chapter" href="Type_class.html"> <link title="Map_to_safe" rel="Chapter" href="Map_to_safe.html"> <link title="Utils" rel="Chapter" href="Utils.html"><title>Binable.S1</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> bin_size_t : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Size</span>.sizer1<br> <span class="keyword">val</span> bin_write_t : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Map_to_safe</span>.writer1<br> <span class="keyword">val</span> bin_write_t_ : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Unsafe_write_c</span>.writer1<br> <span class="keyword">val</span> bin_read_t : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Map_to_safe</span>.reader1<br> <span class="keyword">val</span> bin_read_t_ : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Unsafe_read_c</span>.reader1<br> <span class="keyword">val</span> bin_read_t__ : (<span class="keywordsign">'</span>a, int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Unsafe_read_c</span>.reader1<br> <span class="keyword">val</span> bin_writer_t : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Type_class</span>.<span class="constructor">S1</span>.writer<br> <span class="keyword">val</span> bin_reader_t : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Type_class</span>.<span class="constructor">S1</span>.reader<br> <span class="keyword">val</span> bin_t : (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.<span class="constructor">S1</span>.t) <span class="constructor">Type_class</span>.<span class="constructor">S1</span>.t<br> <span class="keyword">end</span></code></body></html>
