deploy: 219ee68152

11 months ago · 105c32e937
parent 3020363064
commit 105c32e937
4 changed files with 6 additions and 6 deletions
--- a/en/print.html
+++ b/en/print.html
@ -1135,8 +1135,8 @@ can be any of the following&quot;, and then you'll see a list of strings and/or
 tables just below.</p>
 <p>Yes, they are actually sum types, i.e. they can be any of the given set of
 tagged variants listed there.</p>
-<p>Notice the word &quot;be&quot;. Unlike classes or structs (aka product types), they don't
-&quot;have&quot; values, they &quot;are&quot; (i.e. &quot;be&quot;) the value, or rather, one of the possible
+<p>Notice the word &quot;be&quot;. Unlike classes or structs (aka product types), they can't
+&quot;have&quot; values, they can only &quot;be&quot; the value, or rather, be one of the possible
 set of values.</p>
 <p>Also notice the word &quot;tagged&quot;. Unlike the single variant <code>null</code>, or the dual
 variant <code>boolean</code> types, the variants of sum types are tagged (i.e. named), and
--- a/en/searchindex.js
+++ b/en/searchindex.js
--- a/en/searchindex.json
+++ b/en/searchindex.json
--- a/en/sum-type.html
+++ b/en/sum-type.html
@ -166,8 +166,8 @@ can be any of the following&quot;, and then you'll see a list of strings and/or
 tables just below.</p>
 <p>Yes, they are actually sum types, i.e. they can be any of the given set of
 tagged variants listed there.</p>
-<p>Notice the word &quot;be&quot;. Unlike classes or structs (aka product types), they don't
-&quot;have&quot; values, they &quot;are&quot; (i.e. &quot;be&quot;) the value, or rather, one of the possible
+<p>Notice the word &quot;be&quot;. Unlike classes or structs (aka product types), they can't
+&quot;have&quot; values, they can only &quot;be&quot; the value, or rather, be one of the possible
 set of values.</p>
 <p>Also notice the word &quot;tagged&quot;. Unlike the single variant <code>null</code>, or the dual
 variant <code>boolean</code> types, the variants of sum types are tagged (i.e. named), and