iv>

    <div class="summary-row">
      <div class="summary-signature">
        <a href="#query/2" data-no-tooltip="" translate="no">query(Pid, Query)</a>

      </div>

    </div>

    <div class="summary-row">
      <div class="summary-signature">
        <a href="#recursive_proving/3" data-no-tooltip="" translate="no">recursive_proving(EventType, OldState, Data)</a>

      </div>

    </div>

    <div class="summary-row">
      <div class="summary-signature">
        <a href="#remove_fact/2" data-no-too