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.