Open main menu
Logic Wiki

Type: Record

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"