[−][src]Trait voile::syntax::core::AxiomEx

pub trait AxiomEx: Sized {
    fn generated_to_var(self) -> Self;
    fn unimplemented_to_glob(self) -> Self;
}

Required methods

`fn generated_to_var(self) -> Self`

`fn unimplemented_to_glob(self) -> Self`

Loading content...

Implementors

`impl AxiomEx for Neutral`[src]

`fn generated_to_var(self) -> Self`[src]

`fn unimplemented_to_glob(self) -> Self`[src]

`impl AxiomEx for Val`[src]

`fn generated_to_var(self) -> Self`[src]

`fn unimplemented_to_glob(self) -> Self`[src]

Loading content...