ype&nbsp;S&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;sig
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;type&nbsp;data
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;type&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;create&nbsp;:&nbsp;int&nbsp;-&gt;&nbsp;Weak.S.t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;clear&nbsp;:&nbsp;Weak.S.t&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;merge&nbsp;:&nbsp;Weak.S.t&nbsp;-&gt;&nbsp;Weak.S.data&nbsp;-&gt;&nbsp;Weak.S.data
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;add&nbsp