Module optimizer

Functions

• lift_definitions 🔒
  Traverse the policy body and lift variable declarations to be definitions where possible. This lets us avoid repeated graph searches for the same variables.
• optimize

Type Aliases

• LiftedIntros 🔒
  Traverse the policy body and lift variable declarations to be definitions where possible. This lets us avoid repeated graph searches for the same variables.