Struct OrphanFact 

pub struct OrphanFact {
    pub atom: String,
    pub value: Value,
    pub origin: Origin,
}

An advisory lint: a FACT/NOT/ASSUME whose atom appears in no PREMISE or RULE. Such an assertion is logically inert — nothing checks it and nothing is derived from it, so it can never produce a CONFLICT, WARNING or DERIVED. It is almost always a typo’d atom name or a leftover line. Purely informational — it never changes the verdict, the warning pool, or the exit code (a program full of orphans is still perfectly CONSISTENT).

Fields

atom: String

The atom’s human label (subject predicate [object]), without polarity.

value: Value

The asserted value — False means the surface line was NOT/ASSUME NOT.

origin: Origin

Provenance of the inert assertion (source, line, kind = FACT/NOT/ASSUME).

Trait Implementations

impl Clone for OrphanFact

fn clone(&self) -> OrphanFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OrphanFact

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

Formats the value using the given formatter.

impl Eq for OrphanFact

impl PartialEq for OrphanFact

fn eq(&self, other: &OrphanFact) -> 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 StructuralPartialEq for OrphanFact