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