type-t.proc_attributes" class="anchor"></a><code><span>proc_attributes : <span class="xref-unresolved">Sqlite3</span>.Data.t;</span></code></li><li id="type-t.cfg" class="def record field anchored"><a href="#type-t.cfg" class="anchor"></a><code><span>cfg : <span class="xref-unresolved">Sqlite3</span>.Data.t;</span></code></li><li id="type-t.callees" class="def record field anchored"><a href="#type-t.callees" class="anchor"></a><code><span>callees : <span class="xref-unresolved">Sqlite3</span>.Data.t;</span>