And for people who don't like writing so many 'in's, we also have 'and':

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

Which indicates that the binding of y can't refer to x and so on.