Method has_wit_ref

proof_system/src/meta_statement.rs:68–70

(&self, wit_ref: &WitnessRef)

    }

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

impl MetaStatements {