Type: Reference

Jump to navigation Jump to search
Types
"Reference" is a container type that allows to record additional information (e.g. provenance data) about a value assignment.
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:Types/Reference"