seal5.transform.drop_unused.optimizer

Clean M2-ISA-R/Seal5 metamodel by removing unused constants.

Functions

get_parser()
main(argv)
run(args)

Classes

DropUnusedContext(names)