cInterface.AbstractValue.t</a> option</span></span>
  <span><span>| `Malloc</span> of <a href="../../PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a></span> ]</span> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../../IBase/Location/index.html#type-t">IBase.Location.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../index.html