Type: Record

Jump to: navigation, search
Types
"Record" is a container datatype that specifies a list of typed properties in a fixed order.
Retrieved from ‘http://wiki.specnext.dev/Special:Types/Record’