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>;
}