formality-core

formality_core is the language independent part of a-mir-formality. It can be reused by other projects looking to model formal semantics of languages besides Rust.

lib.rs:

formality-core contains core definitions that can be used for languages that are not Rust. It is intended to play a role similar to