 erased.
<p>

   A weak pointer is said to be full if it points to a value,
   empty if the value was erased by the GC.
</p><p>

   Notes:</p><ul>
<li>Integers are not allocated and cannot be stored in weak arrays.</li>
<li>Weak arrays cannot be marshaled using <a href="Pervasives.html#VALoutput_value"><code class="code">output_value</code></a>
     nor the functions of the <a href="Marshal.html"><code class="code"><span class="constructor">Marshal</span></code></a> module.</li>
</ul>
<br>
</div>


<pre><sp