Enum AppH 

pub enum AppH<A, V> {
    Atom(A),
    Abst(V, Option<Box<App<Self>>>, Box<App<Self>>),
    Prod(Option<V>, Box<App<Self>>, Box<App<Self>>),
}

Head of an application.

Variants

Atom(A)

atom (constants, variables)

Abst(V, Option<Box<App<Self>>>, Box<App<Self>>)

abstraction (x : A => t)

Prod(Option<V>, Box<App<Self>>, Box<App<Self>>)

dependent product (x : A -> t)

Trait Implementations

impl<A: Clone, V: Clone> Clone for AppH<A, V>

fn clone(&self) -> AppH<A, V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug, V: Debug> Debug for AppH<A, V>

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

Formats the value using the given formatter.

impl<A: Display, V: Display> Display for AppH<A, V>

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

Formats the value using the given formatter.