Skip to main content

Module range

vstd_extra

Module range 

Source
Expand description

Finite-set models and proof lemmas for half-open ranges.

Traits§

RangeExtraFns
Specification helpers for half-open ranges.

Functions§

finite_range_matches_ord
lemma_seq_range_union_contains
seq_range_union