Struct kailua_check::env::Module
[−]
[src]
pub struct Module { pub returns: Option<Slot>, pub exported_types: HashMap<Name, TypeDef>, }
The resolved information about the module loaded by require
or similar.
Fields
returns: Option<Slot>
The return types from the module if any. None
if the module never returns.
exported_types: HashMap<Name, TypeDef>
A list of exported type definitions.
Methods
impl Module
[src]
Trait Implementations
impl Clone for Module
[src]
fn clone(&self) -> Module
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more