Bindings

let

  1. let n = 1 + 2
  2. let (a, b) = (1, 2)

let .. in ..

  1. z = let x = 3
  2.         y = 2 * x
  3.     in  x * y

where

  1. z = x * y
  2.     where
  3.       x = 3
  4.       y = 5