Struct PredicateReads 

pub struct PredicateReads {
    pub elements: BTreeSet<String>,
    pub bare: BTreeSet<String>,
}

The names a predicate reads (comprehension_forms.md §5 V3).

Fields

elements: BTreeSet<String>

Every {name} element: a name the tuple binds, or one the scope the predicate is evaluated in supplies.

bare: BTreeSet<String>

Every bare word the predicate reads as a name. A predicate reads a scope only through {name}, so no scope supplies one.

Trait Implementations

impl Clone for PredicateReads

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredicateReads

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

Formats the value using the given formatter.

impl Default for PredicateReads

fn default() -> Self

Returns the “default value” for a type.

impl Eq for PredicateReads

impl PartialEq for PredicateReads

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PredicateReads