From a393765df40744aae68dab943e25bad8175bd5c0 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Tue, 12 Dec 2023 20:21:13 +0530
Subject: feat: associativity + distributivity for multiplication

---
 src/util.ts | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/util.ts')

diff --git a/src/util.ts b/src/util.ts
index 97e9335..88e3749 100644
--- a/src/util.ts
+++ b/src/util.ts
@@ -34,6 +34,8 @@ export type ChainRewrites<Rws extends Rewrite<Op, Op>[], O extends Op> =
 export type VerifyEquation<Eq extends Rewrite<Op, Op>> =
   Eq['right'] extends 'true' ? true : false & Eq['right'];
 
+export type Evaluate<Eq extends Rewrite<Op, Op>> = ApplyRewrite<Eq['left'], Eq>;
+
 export type assert<T extends true> = T;
 export type Eq<a, b> = ([a] extends [b] ? ([b] extends [a] ? true : false & { lhs: a; rhs: b }) : false & { lhs: a; rhs: b });
 
-- 
cgit v1.3.1