or active pattern names and so on.</p>

</div>

<!-- Render nested types and modules, if there are any -->

  <h3>Functions and values</h3>
  <table class="table table-bordered member-list">
    <thead>
      <tr><td>Function or value</td><td>Description</td></tr>
    </thead>
    <tbody>
      <tr>
        <td class="member-name">
          <code onmouseout="hideTip(event, '377', 377)" onmouseover="showTip(event, '377', 377)">
            CorrectIdentifierToken(...)
          </code>
          <div class="