Enum sic::term::Term

pub enum Term {
    Lam {
        nam: Vec<u8>,
        bod: Box<Term>,
    },
    App {
        fun: Box<Term>,
        arg: Box<Term>,
    },
    Par {
        tag: u32,
        fst: Box<Term>,
        snd: Box<Term>,
    },
    Let {
        tag: u32,
        fst: Vec<u8>,
        snd: Vec<u8>,
        val: Box<Term>,
        nxt: Box<Term>,
    },
    Var {
        nam: Vec<u8>,
    },
    Set,
}

Variants

Lam

Fields

nam: Vec<u8>

bod: Box<Term>

App

Fields

fun: Box<Term>

arg: Box<Term>

Par

Fields

tag: u32

fst: Box<Term>

snd: Box<Term>

Let

Fields

tag: u32

fst: Vec<u8>

snd: Vec<u8>

val: Box<Term>

nxt: Box<Term>

Var

Fields

nam: Vec<u8>

Set

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a copy 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.