seal5.backends.coredsl2.writer

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

Functions

main()

Main app entrypoint.

Classes

CoreDSL2Writer([compat, version])