Skip to content

Commit

Permalink
deploy: b85bbf6
Browse files Browse the repository at this point in the history
  • Loading branch information
otrho committed Oct 7, 2024
1 parent ad95134 commit fd9ca84
Show file tree
Hide file tree
Showing 6 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion book/basics/custom_types.html
Original file line number Diff line number Diff line change
Expand Up @@ -205,7 +205,7 @@ <h3 id="enumerations"><a class="header" href="#enumerations">Enumerations</a></h
<p>Let’s look at a situation we might want to express in code and see why enums are useful. Say we need
to work with three possible tokens: DAI, USDC, and USDT. Because these are the only tokens we want
to work with, we can enumerate all possible variants, which is where enumeration gets its name:</p>
<pre><code class="language-pint">enum Token = DAI | USDC | USDT;
<pre><code class="language-pint">union Token = DAI | USDC | USDT;
</code></pre>
<p>Note how the possible variants of <code>Token</code> are separated by a <code>|</code>. <code>Token</code> is now a custom data type
that we can use elsewhere in our code. Also, we can now create an instance of each of the three
Expand Down
4 changes: 2 additions & 2 deletions book/print.html
Original file line number Diff line number Diff line change
Expand Up @@ -882,7 +882,7 @@ <h3 id="enumerations"><a class="header" href="#enumerations">Enumerations</a></h
<p>Let’s look at a situation we might want to express in code and see why enums are useful. Say we need
to work with three possible tokens: DAI, USDC, and USDT. Because these are the only tokens we want
to work with, we can enumerate all possible variants, which is where enumeration gets its name:</p>
<pre><code class="language-pint">enum Token = DAI | USDC | USDT;
<pre><code class="language-pint">union Token = DAI | USDC | USDT;
</code></pre>
<p>Note how the possible variants of <code>Token</code> are separated by a <code>|</code>. <code>Token</code> is now a custom data type
that we can use elsewhere in our code. Also, we can now create an instance of each of the three
Expand Down Expand Up @@ -1560,7 +1560,7 @@ <h3 id="modules-cheat-sheet"><a class="header" href="#modules-cheat-sheet">Modul
}
</code></pre>
<p>The submodule <code>vegetables</code> which is defined in <code>src/garden/vegetables.pnt</code>, contains:</p>
<pre><code class="language-pint">enum Asparagus = Green | White | Purple;
<pre><code class="language-pint">union Asparagus = Green | White | Purple;
</code></pre>
<div style="break-before: page; page-break-before: always;"></div><link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.4/dist/katex.min.css">
<h2 id="paths-for-referring-to-an-item-in-a-module-tree"><a class="header" href="#paths-for-referring-to-an-item-in-a-module-tree">Paths for Referring to an item in a Module Tree</a></h2>
Expand Down
2 changes: 1 addition & 1 deletion book/projects/modules.html
Original file line number Diff line number Diff line change
Expand Up @@ -208,7 +208,7 @@ <h3 id="modules-cheat-sheet"><a class="header" href="#modules-cheat-sheet">Modul
}
</code></pre>
<p>The submodule <code>vegetables</code> which is defined in <code>src/garden/vegetables.pnt</code>, contains:</p>
<pre><code class="language-pint">enum Asparagus = Green | White | Purple;
<pre><code class="language-pint">union Asparagus = Green | White | Purple;
</code></pre>

</main>
Expand Down
2 changes: 1 addition & 1 deletion book/searchindex.js

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion book/searchindex.json

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion book/theme/pint.js
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ hljs.registerLanguage("pint", (hljs) => ({
name: "Pint",
keywords: {
keyword:
"as bool b256 cond const constraint else enum exists false forall if in int interface macro mut nil predicate pub real satisfy self state storage string true type use var where",
"as bool b256 cond const constraint else exists false forall if in int interface macro mut nil predicate pub real satisfy self state storage string true type use union var where",
literal: "false true",
},
contains: [
Expand Down

0 comments on commit fd9ca84

Please sign in to comment.