seal5.transform.filter_model

Modules

filter

Filter M2-ISA-R/Seal5 metamodel.