ass="def" id="write-json-to-string">
    <span>function</span> write-json-to-string (element)
    <br/>&#8594; string
  </p>

  <p class="desc">Like <a
  href="#write-json"><code>write-json</code></a>, but produces a
  string.</p>

  <p class="def" id="write-json-element">
    <span>method</span> write-json-element (element stream)
  </p>

  <p class="desc">Generic function used to serialise values as JSON.
  You can specialise it for your own types, if needed.</p>

  <p class="def" id="script-tag-hack">
  