Agda.Compiler.Epic.Primitive

data PrimTransform

primitivise

primLists

getBuiltins

natPrimTF

primNatCaseZS

primNatCaseZD

boolPrimTF

primFun

primExpr