Enum z3tracer::syntax::Equality [−][src]
pub enum Equality { Root, Literal(Ident, Ident), Congruence(Vec<(Ident, Ident)>, Ident), Theory(String, Ident), Axiom(Ident), Unknown(Ident), }
Expand description
Description of an E-matching step.
Variants
Axiom(Ident)
Unknown(Ident)
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Equality
impl UnwindSafe for Equality
Blanket Implementations
Mutably borrows from an owned value. Read more