Looks like a variant on ml-like `let`.

    let <variable> = <expression 0> in <expression 1>

will bind the value of expression 0 to variable in expression 1.