Agda.Compiler.Epic.Primitive

data PrimTransform

prZero

prNatEquality

prPred

prFalse

prTrue

prSuc

primitivise

initialPrims

getBuiltins

defName

natPrimTF

primNatCaseZS

primNatCaseZD

boolPrimTF

primFun

primExpr