pub fn to_disjunction(self) -> Result<Vec<Predicate>, VMError> {
        match self {
            Predicate::Or(d) => Ok(d.preds),
            _ => Err(VMError::TypeNotDisjunction),
        }
    }
/// Downcasts the predicate to a disjunction.
Downcasts the predicate to a disjunction.
Downcasts the predicate to a disjunction .
pub fn to_disjunction(self) -> Result<Vec<Predicate>, VMError> {
        match self {
            Predicate::Or(d) => Ok(d.preds),
            _ => Err(VMError::TypeNotDisjunction),
        }
    }
pub fn to_disjunction ( self ) -> Result < Vec < Predicate > , VMError > { match self { Predicate :: Or ( d ) => Ok ( d . preds ) , _ => Err ( VMError :: TypeNotDisjunction ) , } }
Downcasts the predicate to a disjunction.
Downcasts the predicate to a disjunction .
self
self