Type Alias Term 

pub type Term<A, V> = App<AppH<A, V>>;

A term is an application of terms to an application head.

Aliased Type

pub struct Term<A, V> {
    pub head: AppH<A, V>,
    pub args: Vec<App<AppH<A, V>>>,
}

Fields

head: AppH<A, V>

head of the application

args: Vec<App<AppH<A, V>>>

arguments applied to the head (which are again applications)