Type Alias ReadStep 

pub type ReadStep<Int> = Step<Rc<str>, Int, Rc<str>>;

The Step type that is produced by the ProofReader.

Aliased Type

pub enum ReadStep<Int> {
    Inference(Inference<Rc<str>, Int, Rc<str>>),
    Deduction(Deduction<Rc<str>, Int>),
    Conclusion(Conclusion<Rc<str>, Int>),
}

Variants

Inference(Inference<Rc<str>, Int, Rc<str>>)

Deduction(Deduction<Rc<str>, Int>)

Conclusion(Conclusion<Rc<str>, Int>)