Pred

vest_lib::regular::modifier

Trait Pred 

Source 
pub trait Pred<Input: View + ?Sized>: View
where
    Self::V: SpecPred<<Input as View>::V>,
{
    // Required method
    exec fn apply(&self, i: &Input) -> res : bool;
}
Expand description

All predicates to be used in Refined combinator must implement this trait.

Required Methods§

Source

exec fn apply(&self, i: &Input) -> res : bool

ensures
res == self@.spec_apply(&i@),

Applies the predicate to the input.

Implementors§