e.WaitTraits.t0"></a><p class="title"><b>Table&#160;41.&#160;WaitTraits requirements</b></p>
<div class="table-contents"><table class="table" summary="WaitTraits requirements">
<colgroup>
<col>
<col>
<col>
</colgroup>
<thead><tr>
<th>
                <p>
                  expression
                </p>
              </th>
<th>
                <p>
                  return type
                </p>
              </th>
<th>
                <p>
                  assertion/note<br> pre/post-condition
          