"../../Absint/IntraproceduralAnalysis/index.html#type-t">Absint.IntraproceduralAnalysis.t</a> <span>&#45;&gt;</span> unit)</span> <span>&#45;&gt;</span> <a href="../Callbacks/index.html#type-proc_callback_t">Callbacks.proc_callback_t</a></code></dt><dd><p>runs a simple intra-procedural analysis (one that doesn't need the results of the analysis on any transitive dependencies to analyze a given procedure)</p></dd></dl><dl><dt class="spec value" id="val-intraprocedural_with_field_dependency"><a href="#val-int