Struct Interpretation 

pub struct Interpretation {
    pub kind: String,
    pub expression: Option<String>,
    pub summary: Option<String>,
    pub lino: Option<String>,
}

Selected interpretation supplied by a consumer such as meta-expression.

Fields

kind: String

expression: Option<String>

summary: Option<String>

lino: Option<String>

Implementations

impl Interpretation

pub fn arithmetic_equality(expression: &str) -> Self

pub fn arithmetic_question(expression: &str) -> Self

pub fn real_world_claim(summary: &str) -> Self

pub fn lino(expression: &str) -> Self

Trait Implementations

impl Clone for Interpretation

fn clone(&self) -> Interpretation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Interpretation

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

Formats the value using the given formatter.

impl PartialEq for Interpretation

fn eq(&self, other: &Interpretation) -> 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 StructuralPartialEq for Interpretation