どうしてわかってくれないかなあ。
x = 1 と x == 1 でわからないなら
x = x の左辺値と右辺値の違いでもいいよ。
ちなみにMLの代入の型は 'a ref * 'a -> unit。