mck 0.2.0

Type/operation utility crate for the formal verification tool machine-check
Documentation 
{
  "git": {
    "sha1": "fecdb0128ad5e91369dd2b56ded6659e22791b4f"
  },
  "path_in_vcs": "core/mck"
}