<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>Utils.Make_binable1_spec</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="constructor">Binable</span> : <span class="constructor">Binable</span>.<span class="constructor">S1</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> to_binable : <span class="keywordsign">'</span>a <span class="constructor">Utils</span>.<span class="constructor">Make_binable1_spec</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.t<br> <span class="keyword">val</span> of_binable : <span class="keywordsign">'</span>a <span class="constructor">Binable</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Utils</span>.<span class="constructor">Make_binable1_spec</span>.t<br> <span class="keyword">end</span></code></body></html>