|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TypeBase | |
---|---|
fmrisc.Syntax |
Uses of TypeBase in fmrisc.Syntax |
---|
Subclasses of TypeBase in fmrisc.Syntax | |
---|---|
class |
ArrayType
Handling of array types. |
class |
AtomicType
Handling of atomic types. |
class |
FunctionType
Handling of function type expressions |
class |
LetType
Handling of terms with local bindings. |
class |
RecordType
Handling of record types. |
class |
SubrangeType
Subranges of integers. |
class |
SubType
Predicated subtypes. |
class |
TupleType
Handling of tuple types. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |