Enum EirBodyLiteral 

pub enum EirBodyLiteral {
    Relational {
        negated: bool,
        atom: EirAtom,
    },
    Epistemic(EirEpistemicLiteral),
    Constraint,
    Binding,
}

Body literal at the epistemic boundary.

Variants

Relational

Non-epistemic relational atom.

Fields

negated: bool

Whether the relational atom is negated.

atom: EirAtom

Atom summary.

Epistemic(EirEpistemicLiteral)

Explicit epistemic atom.

Constraint

Non-relational constraint or comparison.

Binding

Variable binding expression.

Trait Implementations

impl Clone for EirBodyLiteral

fn clone(&self) -> EirBodyLiteral

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for EirBodyLiteral

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

Formats the value using the given formatter.

impl PartialEq for EirBodyLiteral

fn eq(&self, other: &EirBodyLiteral) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for EirBodyLiteral

impl StructuralPartialEq for EirBodyLiteral