def record field anchored"><a href="#type-prim.ret_typ" class="anchor"></a><code><span>ret_typ : <a href="../../../IR/Typ/index.html#type-t">IR.Typ.t</a>;</span></code></li><li id="type-prim.cs" class="def record field anchored"><a href="#type-prim.cs" class="anchor"></a><code><span>cs : <a href="../../../Absint/CallSite/index.html#type-t">Absint.CallSite.t</a>;</span></code></li><li id="type-prim.obj_path" class="def record field anchored"><a href="#type-prim.obj_path" class="anchor"></a><code><span>obj_pa