Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Locally nameless terms with operators in o
at order n
.
_TmOp :: (Choice p, Applicative f, HEq1 o) => o ns -> p (Rec (Tm o) ns) (f (Rec (Tm o) ns)) -> p (Tm0 o) (f (Tm0 o)) Source
A variable is a De Bruijn index, optionally decorated with a display name.