Meta: export convert an Infra value to a (JSON) JavaScript value

annevk · web-flow · commit 4db814c62fa5 · 2024-11-06T15:33:52.000+01:00
Also known as convert an Infra value to a JSON-compatible JavaScript value, but that exceeded 72 characters.
diff --git a/infra.bs b/infra.bs
@@ -1992,7 +1992,8 @@ given a <a>string</a>, <a>boolean</a>, number, null, <a>list</a>, or <a>string</
  <li><p>Return the result of running <a>UTF-8 encode</a> on |string|. [[!ENCODING]]
 </ol>
 
-<p>To <dfn lt="convert an Infra value to a JSON-compatible JavaScript value|converting an Infra value to a JSON-compatible JavaScript value">convert an Infra value to a JSON-compatible JavaScript value</dfn>,
+<p>To
+<dfn export lt="convert an Infra value to a JSON-compatible JavaScript value|converting an Infra value to a JSON-compatible JavaScript value">convert an Infra value to a JSON-compatible JavaScript value</dfn>,
 given |value|:
 
 <ol>
