Module initialization_typ

Enums

• InitializationType

Functions

• compute_initialization_typ
  Compute the appropriate initialization type for a variable intro.
• compute_lifted_def_initialization_typ
  Determine how a lifted definition should be initialized.
• for_each_initialization_typ 🔒
• there_is_initialization_typ 🔒