Uses of Class
fmrisc.ProofNavigator.Syntax.RecordTerm

Packages that use RecordTerm

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of RecordTerm in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return RecordTerm

Modifier and Type	Method and Description
static RecordTerm	Construct.recordTerm(ValuedIdentifier[] base) construct record term of base terms