Method add_statement

proof_system/src/proof_spec.rs:128–130

(&mut self, statement: Statement<E>)

    }

    pub fn add_statement(&mut self, statement: Statement<E>) -> usize {
        self.statements.add(statement)
    }

    pub fn add_meta_statement(&mut self, meta_statement: MetaStatement) -> usize {
        self.meta_statements.add(meta_statement)