Trait tree_automata::Ranked

pub trait Ranked {
    fn arity(&self) -> usize;
}

Required methods

fn arity(&self) -> usize

Loading content...

Implementors

impl<T> Ranked for Rank<T>

fn arity(&self) -> usize

Loading content...