Function fungi_lang::bitype::synth_items
[−]
[src]
pub fn synth_items(ext: &Ext, ctx: &Ctx, d: &Decls) -> (Vec<ItemRule>, Ctx)
Synthesize typing derivations for a list of declarations (e.g., from a module)