Skip to content

Move definitions and lemmas about heap_lang locations to module `Loc`

Robbert Krebbers requested to merge robbert/loc_module into master

This is consistent with number types, such as Nat and Z (from stdlib) and Qp (from std++).

In !854 (merged) we will get a whole bunch of new definitions and lemmas for locations, this MR will make it possible to group them together nicely.

/cc @arthuraa

Merge request reports