Expand description

Check properties that are required by built-in traits and set up data structures required by type-checking/codegen.

Structs

Functions