Agda.TypeChecking.Rules.Builtin
bindBuiltin
bindBuiltinNoDef
bindPostulatedName
isUntypedBuiltin
bindUntypedBuiltin