Enum Term 

pub enum Term {
    Var {
        name: String,
    },
    Dup {
        nam0: String,
        nam1: String,
        expr: Box<Term>,
        body: Box<Term>,
    },
    Sup {
        val0: Box<Term>,
        val1: Box<Term>,
    },
    Let {
        name: String,
        expr: Box<Term>,
        body: Box<Term>,
    },
    Lam {
        name: String,
        body: Box<Term>,
    },
    App {
        func: Box<Term>,
        argm: Box<Term>,
    },
    Ctr {
        name: String,
        args: Vec<Box<Term>>,
    },
    U6O {
        numb: u64,
    },
    F6O {
        numb: u64,
    },
    Op2 {
        oper: Oper,
        val0: Box<Term>,
        val1: Box<Term>,
    },
}

Variants

Var

Fields

name: String

Dup

Fields

nam0: String

nam1: String

expr: Box<Term>

body: Box<Term>

Sup

Fields

val0: Box<Term>

val1: Box<Term>

Let

Fields

name: String

expr: Box<Term>

body: Box<Term>

Lam

Fields

name: String

body: Box<Term>

App

Fields

func: Box<Term>

argm: Box<Term>

Ctr

Fields

name: String

args: Vec<Box<Term>>

U6O

Fields

numb: u64

F6O

Fields

numb: u64

Op2

Fields

oper: Oper

val0: Box<Term>

val1: Box<Term>

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.

impl Display for Term

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

Formats the value using the given formatter.