Type: Record

Jump to navigation Jump to search
Types
"Record" is a container datatype that specifies a list of typed properties in a fixed order.
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:Types/Record"