[−][src]Module nar::syntax::abs::decl
Declarations.
Structs
| AbsClause | Clause information in abstract syntax. Agda. |
| AbsCodataInfo | |
| AbsConsInfo | |
| AbsDataInfo | |
| AbsDefnInfo | |
| AbsProjInfo |
Enums
| AbsDecl | Declaration. Agda. |
Declarations.
| AbsClause | Clause information in abstract syntax. Agda. |
| AbsCodataInfo | |
| AbsConsInfo | |
| AbsDataInfo | |
| AbsDefnInfo | |
| AbsProjInfo |
| AbsDecl | Declaration. Agda. |