1 2 3 4 5 6 7 8 9 10 11 12 13
//! Parser module for TPTP. //! //! This module provides parsers for all TPTP dialects. pub mod cnf; pub mod common; pub mod fof; pub mod tcf; pub mod tff; pub mod thf; pub mod top; pub use top::parse_tptp;