Map singleton notation overlaps with Coq record syntax
See iris!249 (comment 36760): {[ i := x ]}
might be either a singleton map or constructing a record where field i
has value x
.
See iris!249 (comment 36760): {[ i := x ]}
might be either a singleton map or constructing a record where field i
has value x
.