Uses of Class
fmrisc.AST.RecordTerm

Packages that use RecordTerm
fmrisc.AST   
 

Uses of RecordTerm in fmrisc.AST
 

Methods in fmrisc.AST that return RecordTerm
static RecordTerm Construct.recordTerm(ValuedIdentifier[] base)
          construct record term of base terms