Struct LemmaData 

pub struct LemmaData {
    pub reference: Reference,
    pub value: DataValue,
    pub source_location: Source,
}

Fields

reference: Reference

value: DataValue

source_location: Source

Implementations

impl LemmaData

pub fn new( reference: Reference, value: DataValue, source_location: Source, ) -> Self

Trait Implementations

impl Clone for LemmaData

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 LemmaData

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

Formats the value using the given formatter.

impl PartialEq for LemmaData

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LemmaData