Skip to content
  • Rodolphe Lepigre's avatar
    Refactoring and renaming in [lang.v] (mostly). · 5552a911
    Rodolphe Lepigre authored
    - 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].
    5552a911