Vectorise.Builtins.Initialise

Initialisation

initBuiltins

initBuiltinVars

initBuiltinTyCons

initBuiltinDataCons

initBuiltinPAs

initBuiltinPRs

initBuiltinBoxedTyCons