seal5.backends.coredsl2.utils

Clean M2-ISA-R/Seal5 metamodel to .core_desc file.

Classes

Seal5CoreDSL2Writer(visitor[, reduced, ...])