Enum tptp::error::Reported

pub enum Reported {
    IO(Error),
    Lexical(Lexical),
    Syntactic(Syntactic),
    Include(Include),
}

Any error that might be encountered

Variants

IO(Error)

IO error on the underlying streams

Lexical(Lexical)

Lexical error

Syntactic(Syntactic)

Syntactic error

Include(Include)

Include error

Trait Implementations

impl Debug for Reported

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.