From 3d49bb583227b7669b638c4bb3e9853feae07ae2 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Tue, 12 Dec 2023 23:44:14 +0530
Subject: refactor: refactorification

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

(limited to 'src/util.ts')

diff --git a/src/util.ts b/src/util.ts
index 88e3749..1bed44b 100644
--- a/src/util.ts
+++ b/src/util.ts
@@ -6,7 +6,7 @@ export type Rewrite<left extends Op, right extends Op> = {
   right: right;
 };
 
-export type Flip<R extends Rewrite<Op, Op>> = Rewrite<R['right'], R['left']>;
+export type Sym<R extends Rewrite<Op, Op>> = Rewrite<R['right'], R['left']>;
 
 export type ApplyRewrite<O extends Op, R extends Rewrite<Op, Op>> =
   O extends R['left'] ? R['right']
-- 
cgit v1.3.1