Trait cairo_lang_semantic::substitution::HasDb

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

Required Methods

fn get_db(&self) -> T

Implementors

impl<'a> HasDb<&'a (dyn SemanticGroup + 'a)> for Inference<'a>

impl<'a> HasDb<&'a (dyn SemanticGroup + 'a)> for SubstitutionRewriter<'a>