Safe Haskell | None |
---|
Agda.TypeChecking.CompiledClause
Documentation
Constructors
Branches | |
Fields
|
data CompiledClauses Source
Constructors
Case Int (Case CompiledClauses) |
|
Done [Arg String] Term |
|
Fail | Absurd case. |
Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.TypeChecking.CompiledClause
Constructors
Branches | |
Fields
|
data CompiledClauses Source
Constructors
Case Int (Case CompiledClauses) |
|
Done [Arg String] Term |
|
Fail | Absurd case. |