sdml_core::model::check

Trait MaybeIncomplete

source 
pub trait MaybeIncomplete {
    // Required method
    fn is_incomplete(&self, top: &Module, cache: &impl ModuleStore) -> bool;
}

Required Methods§

source

fn is_incomplete(&self, top: &Module, cache: &impl ModuleStore) -> bool

Object Safety§

This trait is not object safe.

Implementors§