<-'' is written ``:='':
| Ocaml | Righteous |
|---|---|
| x.f <- y | x.f := y |
ref'' type is declared as a record type with one
field named ``val'', instead of ``contents''. The
operator ``!'' does not exist any more, and references are
assigned like the other mutables:
| Ocaml | Righteous |
|---|---|
| x := !x + y | x.val := x.val + y |