|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use RecordTerm | |
|---|---|
| fmrisc.Syntax | |
| Uses of RecordTerm in fmrisc.Syntax |
|---|
| Methods in fmrisc.Syntax that return RecordTerm | |
|---|---|
static RecordTerm |
Construct.recordTerm(ValuedIdentifier[] base)
construct record term of base terms |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||