nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;diff&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;compare&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;int
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;equal&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;subset&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;iter&nbsp;:&