Copyright | (c) 2018 Reed Mullanix |
---|---|
License | BSD3 (See LICENSE) |
Maintainer | Reed Mullanix |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Unbound.Generics.LocallyNameless.Ignore
Description
Ignores a term for the purposes of alpha-equality and substitution
Documentation
Ignores a term t
for the purpose of alpha-equality and substitution
Constructors
I !t |