Method add

proof_system/src/meta_statement.rs:78–81

(&mut self, item: MetaStatement)

    }

    pub fn add(&mut self, item: MetaStatement) -> usize {
        self.0.push(item);
        self.0.len() - 1
    }

    pub fn add_witness_equality(&mut self, item: EqualWitnesses) -> usize {
        self.add(MetaStatement::WitnessEquality(item))