p;(Set.S.elt&nbsp;-&gt;&nbsp;unit)&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;map&nbsp;:&nbsp;(Set.S.elt&nbsp;-&gt;&nbsp;Set.S.elt)&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;Set.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;fold&nbsp;:&nbsp;(Set.S.elt&nbsp;-&gt;&nbsp;'a&nbsp;-&gt;&nbsp;'a)&nbsp;-&gt;&nbsp;Set.S.t&nbsp;-&gt;&nbsp;'a&nbsp;-&gt;&nbsp;'a
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;for_all&nbsp;:&nbsp;(Set.S.elt&nbsp;-&gt;&nbsp;bool)&nbsp;-&gt;&nb