sp;&nbsp;&nbsp;type&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;empty&nbsp;:&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;is_empty&nbsp;:&nbsp;Set.S.t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;mem&nbsp;:&nbsp;Set.S.elt&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;add&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;singleton&nbsp;:&nbsp;Set.S.elt&nbsp;-&