Method len

src/tcb/verifier/trace.rs:190–192

(&self)

    #[trusted]
    #[pure]
    pub fn len(&self) -> usize {
        self.v.len()
    }

    // Encoded as body-less Viper method
    #[trusted]