Trait l_group_formulas::short_free_group_term::Len

pub trait Len {
    fn len(&self) -> usize;
}

Required methods

fn len(&self) -> usize

Loading content...

Implementors

impl Len for ShortFreeGroupTerm

fn len(&self) -> usize

Loading content...