Struct fungi_lang::bitype::ModuleDer
source · Expand description
Module typing derivation
Fields
ast: Shared<Module>
untyped AST of the module
tds: Vec<ItemRule>
typing sub-derivations for each module item: each ModuleVar
is unique
ctx_out: Ctx
the context exported by this module to modules that use it
Trait Implementations
impl Eq for ModuleDer
impl StructuralEq for ModuleDer
impl StructuralPartialEq for ModuleDer
Auto Trait Implementations
impl !RefUnwindSafe for ModuleDer
impl !Send for ModuleDer
impl !Sync for ModuleDer
impl Unpin for ModuleDer
impl !UnwindSafe for ModuleDer
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more