Module dedukti_parse::term
source · [−]Expand description
Terms of the lambda-Pi calculus.
Structs
Enums
Traits
Convert a symbol to a given type of atoms.
Type Definitions
A term is an application of terms to an application head.
Terms of the lambda-Pi calculus.
Convert a symbol to a given type of atoms.
A term is an application of terms to an application head.