gument-1-P/index.html">P</a> : <a href="../index.html#module-type-PLUS">PLUS</a>) <span>&#45;&gt;</span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>