Trait miden_assembly::ModuleProvider

pub trait ModuleProvider {
    fn get_module(&self, id: &ProcedureId) -> Option<NamedModuleAst<'_>>;
}

The module provider is now a simplified version of a module cache. It is expected to evolve to a general solution for the module lookup.

Required Methods

fn get_module(&self, id: &ProcedureId) -> Option<NamedModuleAst<'_>>

Fetch a module AST from its ID

Implementations on Foreign Types

impl ModuleProvider for ()

fn get_module(&self, _id: &ProcedureId) -> Option<NamedModuleAst<'_>>

Implementors