seal5.transform.explicit_truncations

Modules

transform	Add explicit truncations to M2-ISA-R/Seal5 metamodel.
visitor	A transformation module for making implicit truncations explicit in M2-ISA-R behavior expressions.