1 2 3 4 5 6 7 8 9
//! //! This crate provides safe bindings for the libraries of the //! [mCRL2](https://mcrl2.org/) toolset, using the FFI defined //! in the `mcrl2-sys` crate. //! pub mod aterm; pub mod data; pub mod lps;