Function fungi_lang::bitype::synth_module
[−]
[src]
pub fn synth_module(ext: &Ext, m: &Rc<Module>) -> ModuleDer
Synthesize a typing derivation for a module, given the module AST.