Module copy_prop

Source

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.