Enum tptp::error::Include

pub enum Include {
    Circular(Position, String),
}

Errors raised while processing includes

Variants

Circular(Position, String)

A circular inclusion occurred

Trait Implementations

impl Debug for Include

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

Formats the value using the given formatter.