spec.emu

<!doctype html>
<meta charset="utf8">
<link rel="stylesheet" href="./spec.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css" integrity="sha512-iDO4iL6PUvPt54yn8f29JSkoMrScHRIMArsHJtOTGg2yTHWT7dfvziWeXIneGy+wGwbrhGMg1a1ntA+sNA+atg==" crossorigin="anonymous">
<script src="./spec.js"></script>
<pre class="metadata">
title: AssertionError Proposal
stage: -1
contributors: The TC39 AssertionError Proposal Authors
</pre>

<emu-clause id="sec-demo-clause">
  <h1>This is an emu-clause</h1>
  <p>This is an algorithm:</p>
  <emu-alg>
    1. Let _proposal_ be *undefined*.
    1. If IsAccepted(_proposal_), then
      1. Let _stage_ be *0*<sub>ℤ</sub>.
    1. Else,
      1. Let _stage_ be *-1*<sub>ℤ</sub>.
    1. Return ? ToString(_proposal_).
  </emu-alg>
</emu-clause>