disco-0.1.0.0: test/syntax-juxt-mul/juxt-mul.disco

x : Nat
x = 5

y : Nat
y = 2

f : Nat -> Nat
f x = x + 1