Struct SemanticProgramFact 

#[repr(C)]
pub struct SemanticProgramFact {
    pub predicate: u32,
    pub first: u32,
    pub second: u32,
}

One typed binary tuple. Predicate indices come from the admitted declaration order.

Fields

predicate: u32

first: u32

second: u32

Trait Implementations

impl Clone for SemanticProgramFact

fn clone(&self) -> SemanticProgramFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SemanticProgramFact

impl Debug for SemanticProgramFact

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

Formats the value using the given formatter.

impl DeviceRepr for SemanticProgramFact

impl Eq for SemanticProgramFact

impl PartialEq for SemanticProgramFact

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SemanticProgramFact