Add the assert builtin (#124)

* Requires anoma/juvix#3014
anoma · Oct 7, 2024 · 8c2255d · 8c2255d
1 parent 615a02c
commit 8c2255d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Stdlib/Data/Bool/Base.juvix b/Stdlib/Data/Bool/Base.juvix
@@ -36,3 +36,6 @@ or (a b : Bool) : Bool := a || b;
 
 --- Logical conjunction.
 and (a b : Bool) : Bool := a && b;
+
+builtin assert
+assert (x : Bool) : Bool := x;