Agda.TypeChecking.Rules.Def

Definitions by pattern matching