fun ((r, g) : assignment * store) ->
let newindex = List.length g
(* first we store d at index newindex in g, which is at the very end *)
(* the following line achieves that in a simple but very inefficient way *)
in let g' = List.append g [d]
(* next we assign 'x' to location newindex *)
fun ((r, g) : assignment * store) ->
let newindex = List.length g
(* first we store d at index newindex in g, which is at the very end *)
(* the following line achieves that in a simple but very inefficient way *)
in let g' = List.append g [d]
(* next we assign 'x' to location newindex *)