ctx here
|
ctx here
|
X.type === "fun" && (X.v1, true)(we are at the beginning of a function and v1 is defined in the local interpreter context),
X.line === 32 && X.t.tag === "trm_set" && X.t.field === "bar"(we are at line 32 and we are setting the field “bar” of the current location),
y.foo === 12(the program variable “y” points to an object whose field “foo” is equal to 12),
X.heap[0].bar === 12(the first cell of the heap has a field “bar” defined equal to 12).