sp;:&nbsp;elt&nbsp;-&gt;&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;remove&nbsp;:&nbsp;elt&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;union&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;inter&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;disjoint&nbsp;:&nbsp;t&nbsp;-&gt;&nbsp;t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&