Struct Instantiation

pub struct Instantiation {
    pub term: Ident,
    pub form: Option<Ident>,
    pub signatures: Vec<Signature>,
    pub pos: Pos,
}

Fields

term: Ident

form: Option<Ident>

signatures: Vec<Signature>

pos: Pos

Trait Implementations

impl Clone for Instantiation

fn clone(&self) -> Instantiation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Instantiation

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

Formats the value using the given formatter.

impl PartialEq for Instantiation

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Instantiation

impl StructuralPartialEq for Instantiation