Enum fungi_lang::bitype::Term

pub enum Term {
    NmTm(NameTm),
    IdxTm(IdxTm),
    Type(Type),
}

Type terms; each can be defined by a module declaration, and carried (by identifier name) in the typing context, and used (by identifier name) to construct terms used in typing derivations.

Variants

NmTm(NameTm)IdxTm(IdxTm)Type(Type)

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, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for Term

impl PartialEq for Term

fn eq(&self, __arg_0: &Term) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Term) -> bool

This method tests for !=.

impl Hash for Term

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].