use>

    <emu-clause id="sec-temporal-create-iso-date-record" type="abstract operation">
      <h1>
        CreateISODateRecord (
          _year_: an integer,
          _month_: an integer between 1 and 12 inclusive,
          _day_: an integer between 1 and 31 inclusive,
        ): an ISO Date Record
      </h1>
      <dl class="header">
        <dt>description</dt>
        <dd></dd>
      </dl>
      <emu-alg>
        1. Assert: IsValidISODate(_year_, _month_, _day_) is *true*.
        1. Return ISO Dat