Uses of Class
fmrisc.ProofNavigator.Syntax.TypeBase

Packages that use TypeBase

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of TypeBase in fmrisc.ProofNavigator.Syntax

Subclasses of TypeBase in fmrisc.ProofNavigator.Syntax

Modifier and Type	Class and Description
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.