Function tptp::parse

pub fn parse(
    bytes: &[u8]
) -> impl Iterator<Item = Result<Statement, SyntaxError>>

Parse a byte slice, returning an iterator over the statements within.

In order to parse larger files, memory-mapped files may be employed. A syntax error in the stream will re-occur indefinitely.