Boolean and sort-generic specification #

The connectives, and the operators that are generic in the sort they operate on: equal and distinct, whose result is Bool whatever their arguments, and ite, which takes its own sort from its branches.