SpecPred

vest_lib::regular::modifier

Trait SpecPred 

Source 
pub trait SpecPred<Input> {
    // Required method
    spec fn spec_apply(&self, i: &Input) -> bool;
}
Expand description

The spec version of Pred.

Required Methods§

Source

spec fn spec_apply(&self, i: &Input) -> bool

Applies the predicate to the input.

Implementors§