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