From d09205aebc36b4e9eb3de0e1115c9e58430bad62 Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Fri, 3 Apr 2020 10:01:35 +0200
Subject: [PATCH] Another toplevel fix.

---
 gitlab-pages/docs/reference/toplevel.md | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/gitlab-pages/docs/reference/toplevel.md b/gitlab-pages/docs/reference/toplevel.md
index 4ed93379a..91a39aa3b 100644
--- a/gitlab-pages/docs/reference/toplevel.md
+++ b/gitlab-pages/docs/reference/toplevel.md
@@ -13,10 +13,10 @@ These functions are available without any needed prefix.
 <SyntaxTitle syntax="pascaligo">
 function is_nat: int -> option(nat)
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="cameligo">
 val is_nat: int -> nat option
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="reasonligo">
 let is_nat: int => option(nat)
 </SyntaxTitle>
 
@@ -25,10 +25,10 @@ Convert an `int` to a `nat` if possible.
 <SyntaxTitle syntax="pascaligo">
 function abs: int -> nat
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="cameligo">
 val abs: int -> nat
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="reasonligo">
 let abs: int => nat
 </SyntaxTitle>
 
@@ -37,10 +37,10 @@ Cast an `int` to `nat`.
 <SyntaxTitle syntax="pascaligo">
 function int: nat -> int
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="cameligo">
 val int: nat -> int
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="reasonligo">
 let int: nat => int
 </SyntaxTitle>
 
@@ -49,10 +49,10 @@ Cast an `nat` to `int`.
 <SyntaxTitle syntax="pascaligo">
 const unit: unit
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="cameligo">
 val unit: unit
 </SyntaxTitle>
-<SyntaxTitle syntax="pascaligo">
+<SyntaxTitle syntax="reasonligo">
 let (): unit
 </SyntaxTitle>
 
@@ -62,10 +62,10 @@ A helper to create a unit.
 function failwith : string -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="cameligo">
-function failwith : string -> unit
+val failwith : string -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="reasonligo">
-function failwith : string -> unit
+let failwith : string => unit
 </SyntaxTitle>
 
 Cause the contract to fail with an error message.
@@ -77,10 +77,10 @@ Cause the contract to fail with an error message.
 function assert : bool -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="cameligo">
-function assert : bool -> unit
+val assert : bool -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="reasonligo">
-function assert : bool -> unit
+let assert : bool => unit
 </SyntaxTitle>
 
 Check if a certain condition has been met. If not the contract will fail.