1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
//! A crate for reading files in the TPTP format. //! //! # Quickstart //! ```rust //! fn example(bytes: &[u8]) { //! // stream TPTP statements //! for statement in tptp::parse(bytes) { //! //! // reading each statement might involve an error //! let statement = statement.expect("parse error"); //! //! // process each statement as you see fit //! println!("{:#?}", statement); //! //! } //! } //! ``` /// Parsed syntactic structures pub mod syntax; mod parser; mod resolve; #[cfg(test)] mod tests; pub use crate::parser::*; pub use crate::resolve::*;