Curry.ExtendedFlat.CurryArithmetics

data CurryInt

data CurryNat

trNat

trInt

toCurryInt

toIntExpression