mkrecord.spad line 1 [edit on github]
MakeRecord is used internally by the interpreter to create record types which are used for doing parallel iterations on streams.
makeRecord(a, b)
creates a record object with type Record(part1
: S
, part2
: T
), where part1
is a
and part2
is b
.