Structs

TopInfo 🔒
Information about the expected type at the top level of type checking a pattern.

Enums

AdjustMode 🔒
Mode for adjusting the expected type and binding mode.

Constants