Uses of Class
fmrisc.ProofNavigator.Syntax.FunctionType

Packages that use FunctionType

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of FunctionType in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return FunctionType

Modifier and Type	Method and Description
static FunctionType	Construct.functionType(Type[] domain, Type range) construct function type from types domain and range.