Updating: very very minorly

githwxi · Sep 13, 2024 · 6356712 · 6356712
1 parent b3e630d
commit 6356712
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/prelude/DATS/bool000.dats b/prelude/DATS/bool000.dats
@@ -68,6 +68,14 @@ if b0 then false else (true))
 (* ****** ****** *)
 (* ****** ****** *)
 //
+#impltmp
+< a: t0 >
+bool_ifval
+(b0, x1, y2) = if b0 then x1 else y2
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 (* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)