Lines Matching defs:in
19 The HasCASL parser reuses the token (in \texttt{HToken.hs}) and
20 \texttt{itemList} parser (in \texttt{ParseItem.hs}) from \texttt{CASL} as well
23 The abstract and concrete syntax of HasCASL are given in the summary
25 The data types in \texttt{As.hs} usually contain alternatives (Haskell
33 HasCASL entities are -- in hierarchical
54 \texttt{Type} (or \emph{star} in Haskell) and the builtin kind constructor
77 in HasCASL any class names are legal to indicate a more specific
80 Furthermore, classes in argument position may be marked as co- ($+$) or contra
97 with continuity), products (in $\times$ notation) and the lazy
101 ids, but in order to avoid a mixfix analysis for types, they should be
117 \item brackets with one or more arguments in argument positions are considered
131 class names in argument or result positions may be different to indicate
142 separated from its kind or type by a colon whereas in a pattern declaration
210 Type casts (via \texttt{as}) or type containment tests (via\texttt{in})
218 occur in right-hand-side expressions. Patterns are almost treated like terms.
229 simple prefix identifier with arguments in parenthesis or must have been
240 \section{Sources in \texttt{HetCATS/HasCASL}}