fungi_lang::bitype
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)