seal5.transform.detect_inouts

Modules

collect	Clean M2-ISA-R/Seal5 metamodel by removing unused constants.
utils	Clean M2-ISA-R/Seal5 metamodel by removing unused constants.
visitor	TODO