Agda.TypeChecking.Monad.Builtin
getBuiltinThings
setBuiltinThings
bindBuiltinName
bindPrimitive
getBuiltin
getBuiltin'
getPrimitive
primFloat
primChar
primString
primBool
primTrue
primFalse
primList
primNil
primCons
primIO
primNat
primSuc
primZero
primNatPlus
primNatMinus
primNatTimes
primNatDivSucAux
primNatModSucAux
primNatEquality
primNatLess
primSize
primSizeSuc
primSizeInf
primInf
primSharp
primFlat
primEquality
primRefl
primLevel
primLevelZero
primLevelSuc
primLevelMax
primQName
primArg
primArgArg
primAgdaTerm
primAgdaTermVar
primAgdaTermLam
primAgdaTermDef
primAgdaTermCon
primAgdaTermPi
primAgdaTermSort
primAgdaTermUnsupported
primInteger
builtinTypes