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>