Records

Records are used to collect one or more elements of different types in a single construct
Records are often used in uninterpreted modeling to represent tokens
The token record type shown here is from ADEPT

TYPE token IS RECORD status : handshake; color : color_type; mon_color : mon_color_type; END RECORD;