Method len

leanr-syntax/src/span.rs:45–47

Get the length of this span

(&self)

    /// Get the length of this span
    pub fn len(&self) -> u32 {
        self.end - self.start
    }

    /// Check if this span is empty
    pub fn is_empty(&self) -> bool {