Function tptp::stream

source · 
pub fn stream(
    path: &str
) -> Result<impl Iterator<Item = Result<Statement, ErrorInfo>>, ErrorInfo>
Expand description

Convenient API to stream statements, following include directives recursively