Agda.TypeChecking.CompiledClause

type key :-> value

data Case c

data CompiledClauses

compileClauses

type Cl

type Cls

compile

nextSplit

splitOn

splitC