Struct kailua_check::env::Module

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

fn dummy() -> Module

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Module

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.