Function fungi_lang::bitype::synth_items

source · 
pub fn synth_items(ext: &Ext, ctx: &Ctx, d: &Decls) -> (Vec<ItemRule>, Ctx)
Expand description

Synthesize typing derivations for a list of declarations (e.g., from a module)