Agda.TypeChecking.Rules.Builtin

bindBuiltin

bindBuiltinNoDef

bindPostulatedName