[package] name = "mck" version = "0.2.0" edition = "2021" license = "MIT OR Apache-2.0" description = "Type/operation utility crate for the formal verification tool machine-check" rust-version = "1.75" [dependencies] seq-macro = "0.3.5"