seal5.backends.coredsl2

Seal5 CoreDSL2 backend

Modules

visitor

TODO

writer

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