Trait weresocool_ast::operations::Substitute

source · 
pub trait Substitute<T> {
    // Required method
    fn substitute(
        &self,
        normal_form: &mut NormalForm,
        defs: &mut Defs<T>
    ) -> Result<Term, Error>;
}

Required Methods§

source

fn substitute( &self, normal_form: &mut NormalForm, defs: &mut Defs<T> ) -> Result<Term, Error>

Implementors§