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.