on/3" data-no-tooltip="" translate="no">optimization(EventType, OldState, Data)</a>

      </div>

    </div>

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

      </div>

    </div>

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

      </div>

    </d