seal5.transform.optimize_instructions

Modules

optimizer

Optimize M2-ISA-R/Seal5 metamodel.