eval.ml

# let inc p = let v = !p in incr p; v;;
val inc : int ref -> int = <fun>
# let x = ref 0;;
val x : int ref = {contents = 0}
# type t_read = {tag: int; fid: int; offset: int; count: int};;
type t_read = { tag : int; fid : int; offset : int; count : int }
# let r = {tag=(inc x); fid=(inc x); offset=(inc x); count=(inc x)};;
val r : t_read = {tag = 3; fid = 2; offset = 1; count = 0}
# let x = ref 0;;
val x : int ref = {contents = 0}
# let r = {count=(inc x); offset=(inc x); fid=(inc x); tag=(inc x)};;
val r : t_read = {tag = 3; fid = 2; offset = 1; count = 0}