Struct TypedTerm 

pub struct TypedTerm {
    pub span: NodeSpan,
    pub tpe: Type,
    pub kind: TypedTermKind,
}

Like a Term but with an associated Type, and still with its position. Any term introducing a name will have a TypeBinder instead.

This is what typer::type_check hands back for a declaration it typed, and the types on it are the solved ones: infer_annotated applies unify’s final substitution to every node before returning. Between annotate and that point they are inference variables and mean nothing on their own.

Fields

span: NodeSpan

tpe: Type

kind: TypedTermKind

Trait Implementations

impl Debug for TypedTerm

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

Formats the value using the given formatter.