Skip to content

Theorem about how `item_for_loc` reacts to accesses

Neven Villani requested to merge ci/tree-borrows into master

Merge request reports