Agda.Compiler.Epic.Primitive

data PrimTransform

prZero

prSuc

prTrue

prFalse

prPred

prNatEquality

primitivise

initialPrims

getBuiltins

defName

natPrimTF

primNatCaseZS

primNatCaseZD

boolPrimTF

primFun

primExpr