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> for Inference<'a>

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