Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.Treeless.Erase
- eraseTerms :: QName -> TTerm -> TCM TTerm
- computeErasedConstructorArgs :: QName -> TCM ()
Documentation
computeErasedConstructorArgs :: QName -> TCM () #
Takes the name of the data/record type.