pub fn choose_predicate<F, T>(
        &mut self,
        pred: Predicate,
        choose_fn: F,
    ) -> Result<&mut Program, VMError>
    where
        F: FnOnce(PredicateTree) -> Result<T, VMError>,
    {
        choose_fn(PredicateTree {
            prog: self,
            pred: pred,
        })?;
        Ok(self)
    }
/// Takes predicate and closure to add choose operations for
/// predicate tree traversal.
Takes predicate and closure to add choose operations for
predicate tree traversal.
Takes predicate and closure to add choose operations for predicate tree traversal .
pub fn choose_predicate<F, T>(
        &mut self,
        pred: Predicate,
        choose_fn: F,
    ) -> Result<&mut Program, VMError>
    where
        F: FnOnce(PredicateTree) -> Result<T, VMError>,
    {
        choose_fn(PredicateTree {
            prog: self,
            pred: pred,
        })?;
        Ok(self)
    }
pub fn choose_predicate < F , T > ( & mut self , pred : Predicate , choose_fn : F , ) -> Result < & mut Program , VMError > where F : FnOnce ( PredicateTree ) -> Result < T , VMError > , { choose_fn ( PredicateTree { prog : self , pred : pred , } ) ? ; Ok ( self ) }
Takes predicate and closure to add choose operations for
predicate tree traversal.
Takes predicate and closure to add choose operations for predicate tree traversal .
&mut self
pred
Predicate
choose_fn
F
&mut self
pred
Predicate
choose_fn
F