Agda.Compiler.Epic.NatDetection

getNatish

nrRel

isRec

argIsDef