feat: commutativity + identity for multiplication

1 files changed, 1 insertions, 0 deletions

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'