Function fungi_lang::bitype::synth_items

pub fn synth_items(
    last_label: Option<&str>, 
    ctx: &Ctx, 
    d: &Decls
) -> (Vec<ItemRule>, Ctx)

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