gt;&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;remove&nbsp;:&nbsp;Set.S.elt&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;union&nbsp;:&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;inter&nbsp;:&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;disjoint&nbsp;:&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbs