Trait weresocool_ast::operations::Substitute

pub trait Substitute {
    fn substitute(
        &self, 
        normal_form: &mut NormalForm, 
        table: &OpOrNfTable, 
        arg_map: &ArgMap
    ) -> OpOrNf;
}

Required methods

fn substitute(
    &self,
    normal_form: &mut NormalForm,
    table: &OpOrNfTable,
    arg_map: &ArgMap
) -> OpOrNf

Loading content...

Implementors

impl Substitute for Op

fn substitute(
    &self,
    normal_form: &mut NormalForm,
    table: &OpOrNfTable,
    arg_map: &ArgMap
) -> OpOrNf

impl Substitute for OpOrNf

fn substitute(
    &self,
    normal_form: &mut NormalForm,
    table: &OpOrNfTable,
    arg_map: &ArgMap
) -> OpOrNf

impl Substitute for NormalForm

fn substitute(
    &self,
    _normal_form: &mut NormalForm,
    _table: &OpOrNfTable,
    _arg_map: &ArgMap
) -> OpOrNf

Loading content...