n
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;max_elt&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;elt
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;max_elt_opt&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;elt&nbsp;option
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;choose&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;elt
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;choose_opt&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;elt&nbsp;option
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;split&nbsp;:&nbsp;elt&nbsp;