70
72
<code class="code"><span class="keyword">sig</span><br>
71
73
<span class="keyword">type</span> <span class="keywordsign">'</span>a channel<br>
72
74
<span class="keyword">val</span> new_channel : unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Event</span>.channel<br>
74
76
<span class="keyword">val</span> send : <span class="keywordsign">'</span>a <span class="constructor">Event</span>.channel <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit <span class="constructor">Event</span>.event<br>
75
77
<span class="keyword">val</span> receive : <span class="keywordsign">'</span>a <span class="constructor">Event</span>.channel <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Event</span>.event<br>
76
78
<span class="keyword">val</span> always : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Event</span>.event<br>