Module dedukti_parse::term

source · [−]
Expand description

Terms of the lambda-Pi calculus.

Structs

App

Application of applications to a head.

Ctx

Context in which a term is parsed.

Enums

AppH

Head of an application.

Atom

Term without subterms.

Error

Parse error.

Traits

Scope

Convert a symbol to a given type of atoms.

Type Definitions

Term

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