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