Function fungi_lang::bitype::synth_module

pub fn synth_module(last_label: Option<&str>, m: &Rc<Module>) -> ModuleDer

Synthesize a typing derivation for a module, given the module AST.