Agda.Compiler.Epic.Primitive
data
PrimTransform
primitivise
primLists
getBuiltins
natPrimTF
primNatCaseZS
primNatCaseZD
boolPrimTF
primFun
primExpr