This crate provides the raw Rust bindings for the libraries of the mCRL2 toolset.
Every module mirrors the corresponding library of the mCRL2 toolset. Within it a foreign function interface (FFI) is defined using the cxx crate.