Agda.TypeChecking.Rules.Builtin

bindBuiltin

bindBuiltinNoDef

bindPostulatedName

isUntypedBuiltin

bindUntypedBuiltin