Uninterpreted Sorts
Todo
This documentation is incomplete. See the old documentation.
Syntax
The syntax for sort
declarations is given by the following EBNF grammar:
sort ::= "sort" id ";"
See Identifiers for the id
production.
Todo
This documentation is incomplete. See the old documentation.
The syntax for sort
declarations is given by the following EBNF grammar:
sort ::= "sort" id ";"
See Identifiers for the id
production.