Agda.TypeChecking.Functions

etaExpandClause

getDef