OCLの `let` 式を用いて変数を定義する正しい構文はどれか。

OCLでは `let 変数名 : 型 = 初期値 in 式` の構文を使用する(型は省略可能な場合がある)。