From 999c2314c0d649646a53e7cc440ae3f4aa1a3d61 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Tue, 12 Dec 2023 18:47:06 +0530
Subject: feat: commutativity + identity for multiplication

---
 src/nat.ts | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/nat.ts')

diff --git a/src/nat.ts b/src/nat.ts
index 124c2c6..5c52bdf 100644
--- a/src/nat.ts
+++ b/src/nat.ts
@@ -1,6 +1,7 @@
 import { Op } from "./util";
 
 export type Add<A extends Op, B extends Op> = { op: '+'; a: A; b: B };
+export type Multiply<A extends Op, B extends Op> = { op: '*'; a: A; b: B };
 export type Succ<A extends Op> = Add<'1', A>;
 
 export type _0 = '0'
-- 
cgit v1.3.1