Enum TermKind 

pub enum TermKind {
    Var(String),
    Int(i128),
    App {
        head: String,
        args: Vec<Term>,
    },
}

The three kinds of term.

Variants

Var(String)

A name standing for whatever the pattern bound it to.

Int(i128)

A literal.

App

A head applied to arguments, which is every opcode, every constructor and every operator in a specification.

Fields

head: String

The name in head position.

args: Vec<Term>

What it is applied to, possibly nothing, as in (result).

Trait Implementations

impl Clone for TermKind

fn clone(&self) -> TermKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermKind

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

Formats the value using the given formatter.

impl Eq for TermKind

impl PartialEq for TermKind

fn eq(&self, other: &TermKind) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for TermKind