Agda.Compiler.Epic.Primitive
data PrimTransform
prSuc
prTrue
prFalse
prPred
prNatEquality
prZero
primitivise
initialPrims
getBuiltins
natPrimTF
primNatCaseZS
primNatCaseZD
boolPrimTF
primFun
primExpr