From e86c68dffaffee6ba44d98ba06761245f6d5b670 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 4 Nov 2025 20:53:37 -0800
Subject: add branching

---
 src/lang/ts-lang/builtin/builtin.ts | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'src/lang/ts-lang/builtin')

diff --git a/src/lang/ts-lang/builtin/builtin.ts b/src/lang/ts-lang/builtin/builtin.ts
index a289867..ed6b0a3 100644
--- a/src/lang/ts-lang/builtin/builtin.ts
+++ b/src/lang/ts-lang/builtin/builtin.ts
@@ -31,3 +31,18 @@ export type BUILTIN_Mul<Args extends readonly any[]> = Args extends [
   : Args extends [infer M extends number, infer N extends number]
   ? Multiply<M, N>
   : FnError<`Can only multiply [number, number], but got ${ToString<Args>}`>;
+
+export type BUILTIN_IfElse<Args extends readonly any[]> = Args extends [
+  infer A,
+  infer B,
+  infer C,
+  infer D
+]
+  ? FnError<`Invalid args for "if": ${ToString<Args>}`>
+  : Args extends [infer Cond, infer TrueVal, infer FalseVal]
+  ? Cond extends true
+    ? TrueVal
+    : Cond extends false
+    ? FalseVal
+    : FnError<`Condition value ${ToString<Cond>} is not a boolean`>
+  : FnError<`Invalid args for "if": ${ToString<Args>}`>;
-- 
cgit v1.2.3-70-g09d2