/*! Provides a set of tools for parsing and applying common logical transformations on first-order
formulae in Razor's syntax. */
pub mod syntax;
pub mod parser;
pub mod transform;
pub mod test_prelude;