Function fungi_lang::bitype::synth_module

source · 
pub fn synth_module(ext: &Ext, m: &Shared<Module>) -> ModuleDer
Expand description

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