Struct Term 

pub struct Term {
    pub span: NodeSpan,
    pub kind: TermKind,
}

An untyped term, and where the expression it was translated from was written.

In zelkova that source is the canonical AST. The span is what every constraint generated from this term inherits, and therefore what a type error draws its caret under; [NodeSpan::none] — a term built by hand, in a test — costs nothing but the caret.

Fields

span: NodeSpan

kind: TermKind

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.