Function fungi_lang::bitype::synth_items
source · Expand description
Synthesize typing derivations for a list of declarations (e.g., from a module)
Synthesize typing derivations for a list of declarations (e.g., from a module)