seal5.transform.simplify_trivial_slices.transform

Simplify trivial slice operations in M2-ISA-R/Seal5 metamodel.

Functions

get_parser()

main(argv)

run(args)