pan class="arrow">&#45;&gt;</span></span>
  <span><a href="../PulsePathContext/index.html#type-t">PathContext.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span>[ <span>`LocalDecl of <a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> * <span><a href="../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a> option</span></span>
  <span><span>| `Malloc</span> of <a href="../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a></span> ]</span> <