diff options
Diffstat (limited to '')
| -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'] |