Enum Atom 

pub enum Atom<C> {
    Const(C),
    Var(usize),
    Type,
}

Term without subterms.

Variants

Const(C)

constant

Var(usize)

variable (de Bruijn index)

Type

“Type”

Trait Implementations

impl<C: Clone> Clone for Atom<C>

fn clone(&self) -> Atom<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug> Debug for Atom<C>

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

Formats the value using the given formatter.

impl<C: Display> Display for Atom<C>

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

Formats the value using the given formatter.

impl<S: Borrow<str> + Into<C> + Eq, C, V: Borrow<str>> Scope<S, V> for Atom<Symb<C>>

Distinguish symbols into constants and variables.

fn scope(symb: Symb<S>, ctx: &Ctx<Self, V>) -> Self

Convert a symbol to a given type of atoms.

fn go(symb: Symb<S>, ctx: &Ctx<Self, V>) -> Term<Self, V>

Convenience function to convert a symbol to a term.