Module copy_prop

Structs

• CopyProp 🔒
  Unify locals that copy each other.
• Replacer 🔒
  Utility to help performing substitution of *pattern by target.

Functions

• fully_moved_locals 🔒
  SsaLocals computed equivalence classes between locals considering copy/move assignments.