Enum ConsistencyEvidence 

pub enum ConsistencyEvidence {
    Refl,
    LeftDyn,
    RightDyn,
    ArrowCons(Box<ConsistencyEvidence>, Box<ConsistencyEvidence>),
    ProdCons(Box<ConsistencyEvidence>, Box<ConsistencyEvidence>),
}

Evidence for a type consistency judgment A ~ B.

Variants

Refl

Reflexivity: A ~ A

LeftDyn

Left-dynamic: ? ~ A

RightDyn

Right-dynamic: A ~ ?

ArrowCons(Box<ConsistencyEvidence>, Box<ConsistencyEvidence>)

Arrow consistency: A₁~A₂ and B₁~B₂ implies (A₁→B₁) ~ (A₂→B₂)

ProdCons(Box<ConsistencyEvidence>, Box<ConsistencyEvidence>)

Product consistency

Trait Implementations

impl Clone for ConsistencyEvidence

fn clone(&self) -> ConsistencyEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConsistencyEvidence

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

Formats the value using the given formatter.