Struct Fact 

pub struct Fact {
    pub type_name: String,
    pub args: Option<Vec<String>>,
    pub call: Option<String>,
}

One receiver fact: the declared type NAME plus that type’s top-level type-argument descriptors when it carried any. Two facts agree only when BOTH halves do, so Box<int> a and Box<string> a in sibling blocks conflict exactly like two different type names would.

Fields

type_name: String

The type name value.

args: Option<Vec<String>>

The args value.

call: Option<String>

When set, the name’s type is whatever the method of this name returns on the type type_name stands for, a lookup only the resolver can do. Part of the equality the table compares, so var x = A.Make() and var x = A.Build() in sibling blocks conflict exactly like two different type names would.

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Eq for Fact

impl PartialEq for Fact

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Fact