Agda.Compiler.Epic.Primitive

data PrimTransform

prSuc

prTrue

prFalse

prPred

prNatEquality

prZero

primitivise

initialPrims

getBuiltins

natPrimTF

primNatCaseZS

primNatCaseZD

boolPrimTF

primFun

primExpr