Agda.TypeChecking.Rules.Builtin
Checking builtin pragmas
ensureInductive
bindBuiltinType
bindBuiltinBool
bindBuiltinType1
bindBuiltinZero
bindBuiltinSuc
typeOfSizeInf
typeOfSizeSuc
bindBuiltinNil
bindBuiltinCons
bindBuiltinPrimitive
builtinPrimitives
builtinConstructors
builtinPostulates
bindConstructor
bindPostulate
bindBuiltin