Type Definition dedukti_parse::term::Term

source · [−]
pub type Term<A, V> = App<AppH<A, V>>;
Expand description

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