diff --git a/gitlab-pages/docs/reference/toplevel.md b/gitlab-pages/docs/reference/toplevel.md
index c8b819a81..4ed93379a 100644
--- a/gitlab-pages/docs/reference/toplevel.md
+++ b/gitlab-pages/docs/reference/toplevel.md
@@ -12,49 +12,49 @@ These functions are available without any needed prefix.
function is_nat: int -> option(nat)
-
+
val is_nat: int -> nat option
-
+
let is_nat: int => option(nat)
-
+
Convert an `int` to a `nat` if possible.
function abs: int -> nat
-
+
val abs: int -> nat
-
+
let abs: int => nat
-
+
Cast an `int` to `nat`.
function int: nat -> int
-
+
val int: nat -> int
-
+
let int: nat => int
-
+
Cast an `nat` to `int`.
const unit: unit
-
+
val unit: unit
-
+
let (): unit
-
+
A helper to create a unit.