Agda.TypeChecking.Monad.Builtin
getBuiltinThings
setBuiltinThings
bindBuiltinName
bindPrimitive
getBuiltin
getBuiltin'
getPrimitive
The names of built-in things
primFloat
primChar
primString
primBool
primTrue
primFalse
primList
primNil
primCons
primIO
primNat
primSuc
primZero
primNatPlus
primNatMinus
primNatTimes
primNatDivSucAux
primNatModSucAux
primNatEquality
primNatLess
primSize
primSizeSuc
primSizeInf
primInteger
builtinTypes