Lines Matching defs:terms
34 order -- kinds, types and terms, where predicate types and formulas are
35 special cases of types and terms respectively.
38 constructors and terms from values, i.e. operations or predicates.
200 For a uniform mixfix- and type- analysis, terms and formulas are not
201 distinguished and all treated as terms. If the first argument of a mixfix
207 type analysis, but typed terms (via \texttt{:}) are checked for unifying
214 \subsubsection{Binding terms}
216 Binding terms are quantified formulas, lambda terms, case- and
218 occur in right-hand-side expressions. Patterns are almost treated like terms.
235 Formulas are simply treated as terms of a ``logical'' type. The fact that
236 terms may not contain arbitrary formulas must be ruled out later on.
260 \item[ParseTerm.hs] parsing classes, types, terms and formulas