nbsp;:&nbsp;Weak.S.t&nbsp;-&gt;&nbsp;Weak.S.data&nbsp;-&gt;&nbsp;Weak.S.data&nbsp;list
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;mem&nbsp;:&nbsp;Weak.S.t&nbsp;-&gt;&nbsp;Weak.S.data&nbsp;-&gt;&nbsp;bool
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;iter&nbsp;:&nbsp;(Weak.S.data&nbsp;-&gt;&nbsp;unit)&nbsp;-&gt;&nbsp;Weak.S.t&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;fold&nbsp;:&nbsp;(Weak.S.data&nbsp;-&gt;&nbsp;'a&nbsp;-&gt;&nbsp;'a)&nbsp;-&gt;&nbsp;Weak.S.t&nbsp;-&gt;&nbsp;'a&nbsp;