charon_lib::ast::krate

Trait HasVectorOf

Source 
pub trait HasVectorOf<Id: Idx>: Index<Id, Output: Sized> {
    // Required methods
    fn get_vector(&self) -> &Vector<Id, Self::Output>;
    fn get_vector_mut(&mut self) -> &mut Vector<Id, Self::Output>;
}

Required Methods§

Source

fn get_vector(&self) -> &Vector<Id, Self::Output>

Source

fn get_vector_mut(&mut self) -> &mut Vector<Id, Self::Output>

Implementors§