Method is_valid

proof_system/src/meta_statement.rs:64–66

A witness equality should have at least 2 witness references.

(&self)

impl EqualWitnesses {
    /// A witness equality should have at least 2 witness references.
    pub fn is_valid(&self) -> bool {
        self.0.len() > 1
    }

    pub fn has_wit_ref(&self, wit_ref: &WitnessRef) -> bool {
        self.0.contains(wit_ref)