seal5.transform.simplify_trivial_slices

Modules

transform	Simplify trivial slice operations in M2-ISA-R/Seal5 metamodel.
visitor	A transformation module for simplifying M2-ISA-R behavior expressions.