Enum ResolvedPronoun 

pub enum ResolvedPronoun {
    Variable(Symbol),
    Constant(Symbol),
}

Result of pronoun resolution during parsing.

Determines whether a pronoun refers to a bound variable (anaphoric) or a deictic constant (referring to an entity outside the discourse).

Variants

Variable(Symbol)

Bound variable from DRS or telescope (use Term::Variable).

Constant(Symbol)

Constant (deictic or proper name) (use Term::Constant).

Trait Implementations

impl Clone for ResolvedPronoun

fn clone(&self) -> ResolvedPronoun

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedPronoun

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

Formats the value using the given formatter.

impl Copy for ResolvedPronoun