variables

f: Nat -> Nat ;

dataexpr

f[0 -> 1 + 2]
