cairo_lang_semantic::substitution

Trait HasDb

Source 
pub trait HasDb<T> {
    // Required method
    fn get_db(&self) -> T;
}

Required Methods§

Source

fn get_db(&self) -> T

Implementors§

Source§

impl<'a> HasDb<&'a dyn SemanticGroup> for Inference<'a>

Source§

impl<'a> HasDb<&'a dyn SemanticGroup> for SubstitutionRewriter<'a>