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

      </div>

    </div>

</div>

  </section>


  <section id="functions" class="details-list">
    <h1 class="section-heading">
      <a class="hover-link" href="#functions">
        <i class="ri-link-m" aria-hidden="true"></i>
      </a>
      <span class="text">Functions</span>
    </h1>
    <div class="functions-list">
<section class="detail" id="add_fact/2">

  <div class="detail-header">
    <a href="#add_