Trait RangeAll

Help

pub trait RangeAllwhere
    Self: Sized,{
    // Required method
    spec fn all_spec(self, p: FnSpec<(int,), bool>) -> bool;
}

Expand description

Simplify proofs-by-computation for ranges of values

Required Methods§

Checks whether p holds for all values in this range. See the Verus tutorial for example usage.

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

{ range_all_spec_rec(self, p) }