vstd
Module compute
Module Items
Traits
Functions
In crate vstd
vstd
Module
compute
Copy item path
Source
Traits
§
Range
All
Simplify proofs-by-computation for ranges of values
Functions
§
all_
spec_
ensures
range_
all_
spec_
rec