Searched defs:types (Results 1 - 5 of 5) sorted by relevance

/hets/HasCASL/doc/
H A DStaticAna.tex25 The data types in \texttt{As.hs} usually contain alternatives (Haskell
34 order -- kinds, types and terms, where predicate types and formulas are
35 special cases of types and terms respectively.
37 Kinds are constructed from classes, types from type
56 kind or class denotes a set of types or type constructors. A class maybe
62 because types within downsets may also be compound ids.
101 ids, but in order to avoid a mixfix analysis for types, they should be
102 simple ids. Instead the parser resolves types as follows:
177 \item A type pattern may be a type alias. When comparing types thes
[all...]
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 51 milliseconds