Trait moore_vhdl::term::ScopeSpecificTermContext [−][src]
pub trait ScopeSpecificTermContext<'t, S, D> {
fn termify_name_in_scope(
&self,
name: Spanned<ResolvableName>,
scope: S
) -> Result<Spanned<Term<'t>>>;
fn maybe_selectable_scope(&self, term: &Term<'t>) -> Option<S>;
}