Uses of Class
fmrisc.ProofNavigator.Syntax.TupleType

Packages that use TupleType

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of TupleType in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return TupleType

Modifier and Type	Method and Description
static TupleType	Construct.tupleType(Type[] base) construct tuple type with denoted base types.