Module record

Structs

• CastRecord1ToRecord2
  Casts between two record types by casting each element of a (“record1”) using cast_expr and collecting the results into a new record (“record2”).
• CastRecordToString
• RecordGet