balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix wrong closing element.

Browse Source
This commit is contained in:
Sander Spies 2020-04-02 15:14:07 +02:00
parent cbf2c7680e
commit d449231421
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
gitlab-pages/docs/reference/toplevel.md
View File

@ -12,49 +12,49 @@ These functions are available without any needed prefix.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
function is_nat: int -> option(nat) function is_nat: int -> option(nat)
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
val is_nat: int -> nat option val is_nat: int -> nat option
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
let is_nat: int => option(nat) let is_nat: int => option(nat)
</Syntax> </SyntaxTitle>
Convert an `int` to a `nat` if possible. Convert an `int` to a `nat` if possible.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
function abs: int -> nat function abs: int -> nat
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
val abs: int -> nat val abs: int -> nat
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
let abs: int => nat let abs: int => nat
</Syntax> </SyntaxTitle>
Cast an `int` to `nat`. Cast an `int` to `nat`.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
function int: nat -> int function int: nat -> int
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
val int: nat -> int val int: nat -> int
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
let int: nat => int let int: nat => int
</Syntax> </SyntaxTitle>
Cast an `nat` to `int`. Cast an `nat` to `int`.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
const unit: unit const unit: unit
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
val unit: unit val unit: unit
</Syntax> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
let (): unit let (): unit
</Syntax> </SyntaxTitle>
A helper to create a unit. A helper to create a unit.