&nbsp;:&nbsp;(elt&nbsp;-&gt;&nbsp;bool)&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;*&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;cardinal&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;int
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;elements&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;elt&nbsp;list
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;min_elt&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;elt
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;min_elt_opt&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;elt&nbsp;optio