Obtained with commands:
  sed -i 's/val_of_Z_is_some/val_of_Z_is_Some/g' **/*.v
  sed -i 's/val_to_of_int/val_to_of_Z/g' **/*.v

This was done using the following sed commands (with ZSH ** pattern):
> sed -i 's/val_of_int/val_of_Z/g' **/*.v
> sed -i 's/val_to_int/val_to_Z/g' **/*.v

Co-authored-by: Michael Sammler <msammler@mpi-sws.org>

Rodolphe Lepigre authored Nov 30, 2020 and Michael Sammler committed Dec 04, 2020

Co-authored-by: Michael Sammler <msammler@mpi-sws.org>

Using [block_id] to refer to the first component of locations.

- Put stuff in sections in [lang.v].
- Renamed [mk_layout] into [Layout] (for uniformity).
- Renamed [it_min] and [it_max] into [max_int] and [min_int].
- Some other renamings on [int_type]-related stuff.
- Changed [max_int] to be the last representable integer.
- Turned [in_it_range] into an instance of [ElemOf].