Method is_empty

proof_system/src/meta_statement.rs:87–89

(&self)

    }

    pub fn is_empty(&self) -> bool {
        self.0.is_empty()
    }

    pub fn len(&self) -> usize {
        self.0.len()