Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.TypeChecking.CompiledClause.Compile

Documentation

compileClauses

Arguments

:: Bool

Translate record patterns?

-> [Clause] 
-> TCM CompiledClauses 

type Cl = ([Arg Pattern], ClauseBody)

type Cls = [Cl]

splitC :: Int -> Cl -> Case Cl