diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-12 23:44:14 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-12 23:50:38 +0530 |
| commit | 3d49bb583227b7669b638c4bb3e9853feae07ae2 (patch) | |
| tree | e62c83fc83dd18374f3f981c44d0cbef9f4f510e /src/util.ts | |
| parent | a393765df40744aae68dab943e25bad8175bd5c0 (diff) | |
| download | ts-theorem-provinator-3d49bb583227b7669b638c4bb3e9853feae07ae2.tar.gz ts-theorem-provinator-3d49bb583227b7669b638c4bb3e9853feae07ae2.zip | |
refactor: refactorification
Diffstat (limited to 'src/util.ts')
| -rw-r--r-- | src/util.ts | 2 |
1 files changed, 1 insertions, 1 deletions
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'] |