type LiftedIntros = Vec<(VariableIntro, OgClauseIntroType)>;Expand description
Traverse the policy body and lift variable declarations to be definitions where possible. This lets us avoid repeated graph searches for the same variables.
Aliased Typeยง
struct LiftedIntros { /* private fields */ }