Crate pomelo_ty

Expand description

Type inference and type checking for pomelo

(Also any supporting bits of semantic analysis.)

Not much done yet!

Modules

Run a pass over the HIR to collect all references to each definition.