<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_share</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> type_id<br> <span class="keyword">val</span> dummy_type_id : <span class="constructor">Bi_share</span>.type_id<br> <span class="keyword">val</span> create_type_id : unit <span class="keywordsign">-></span> <span class="constructor">Bi_share</span>.type_id<br> <span class="keyword">module</span> <span class="constructor">Wr</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> tbl<br> <span class="keyword">val</span> create : int <span class="keywordsign">-></span> <span class="constructor">Bi_share</span>.<span class="constructor">Wr</span>.tbl<br> <span class="keyword">val</span> clear : <span class="constructor">Bi_share</span>.<span class="constructor">Wr</span>.tbl <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> put : <span class="constructor">Bi_share</span>.<span class="constructor">Wr</span>.tbl <span class="keywordsign">-></span> <span class="keywordsign">'</span>a * <span class="constructor">Bi_share</span>.type_id <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Rd</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> tbl<br> <span class="keyword">val</span> create : int <span class="keywordsign">-></span> <span class="constructor">Bi_share</span>.<span class="constructor">Rd</span>.tbl<br> <span class="keyword">val</span> clear : <span class="constructor">Bi_share</span>.<span class="constructor">Rd</span>.tbl <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> put : <span class="constructor">Bi_share</span>.<span class="constructor">Rd</span>.tbl <span class="keywordsign">-></span> int * <span class="constructor">Bi_share</span>.type_id <span class="keywordsign">-></span> <span class="constructor">Obj</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> get : <span class="constructor">Bi_share</span>.<span class="constructor">Rd</span>.tbl <span class="keywordsign">-></span> int * <span class="constructor">Bi_share</span>.type_id <span class="keywordsign">-></span> <span class="constructor">Obj</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">end</span></code></body></html>