seal5.transform.collect_register_operands

Modules

collect

Infer types of instruction operands from behavior.

visitor

TODO