Function fungi_lang::bitype::synth_items

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)