Heap
object Heap
Abstract heap stores abstract objects
As in the OOPSLA paper, the abstract heap is monotonistic.
Type members
Types
Value members
Extensions
Extensions
extension (heap: Heap)
extension (ref: Addr)
Update field value of the abstract object
Update field value of the abstract object
Invariant: fields are immutable and only set once from init