Source

ocamlspot / tests / set_field.ml

1
2
3
4
5
6
7
type (* record => *) record (* <= record *)= { mutable (* x => *) x (* <= x *) : int } 

let (* r => *) r (* <= r *) = { x = 0; } (* ? record *)

let _ = r(* ? r *).x (* ? x *) <- 1