sp;Set.S.t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;exists&nbsp;:&nbsp;(Set.S.elt&nbsp;-&gt;&nbsp;bool)&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;filter&nbsp;:&nbsp;(Set.S.elt&nbsp;-&gt;&nbsp;bool)&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;filter_map&nbsp;:&nbsp;(Set.S.elt&nbsp;-&gt;&nbsp;Set.S.elt&nbsp;option)&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nb