flams_ontology::content::checking

Trait ModuleChecker

Source 
pub trait ModuleChecker: LocalBackend {
    // Required methods
    fn open(&mut self, elem: &mut OpenDeclaration<Unchecked>);
    fn close(&mut self, elem: &mut Declaration);
}

Required Methods§

Source

fn open(&mut self, elem: &mut OpenDeclaration<Unchecked>)

Source

fn close(&mut self, elem: &mut Declaration)

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§