="../../../IR/Specialization/HeapPath/Map/index.html#type-t">IR.Specialization.HeapPath.Map.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_recursive_calls"><a href="#val-get_recursive_calls" class="anchor"></a><code><span><span class="keyword">val</span> get_recursive_calls : <span><a href="#type-summary">summary</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../PulseMutualRecursion/Set/index.html#type-t">PulseMutualRecursion.Set.t</a><