pub trait Normalize<T> {
    // Required method
    fn apply_to_normal_form(
        &self,
        normal_form: &mut NormalForm,
        defs: &mut Defs<T>
    ) -> Result<(), Error>;
}

Required Methods§

source

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

Implementors§