<link rel="stylesheet" href="/css/main.css"><div class="ocamldoc"><pre>sig

&nbsp;&nbsp;external&nbsp;id&nbsp;:&nbsp;'a&nbsp;-&gt;&nbsp;'a&nbsp;=&nbsp;"%identity"
&nbsp;&nbsp;val&nbsp;const&nbsp;:&nbsp;'a&nbsp;-&gt;&nbsp;'b&nbsp;-&gt;&nbsp;'a
&nbsp;&nbsp;val&nbsp;flip&nbsp;:&nbsp;('a&nbsp;-&gt;&nbsp;'b&nbsp;-&gt;&nbsp;'c)&nbsp;-&gt;&nbsp;'b&nbsp;-&gt;&nbsp;'a&nbsp;-&gt;&nbsp;'c
&nbsp;&nbsp;val&nbsp;negate&nbsp;:&nbsp;('a&nbsp;-&gt;&nbsp;bool)&nbsp;-&gt;&nbsp;'a&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;val&nbsp;prot