Module normalize

Structs

• DeeplyNormalizeForDiagnosticsFolder 🔒
• NormalizationFolder 🔒

Functions

• deeply_normalize
  Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.
• deeply_normalize_for_diagnostics 🔒
• deeply_normalize_with_skipped_universes
  Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.