Agda.Compiler.Epic.NatDetection

getNatish

isNatish

nrRel

isRec

argIsDef