Module normalize 

Structs

MaxUniverse 🔒

Finds the max universe present in infer vars.

NormalizationFolder

This folder normalizes value and collects ambiguous goals.

Enums

HasEscapingBoundVars 🔒