| |||||
| |||||
| |||||
Synopsis | |||||
Documentation | |||||
| |||||
Check if to lists of arguments are the same (and all variables). Precondition: the lists have the same length. | |||||
| |||||
| |||||
| |||||
| |||||
| |||||
Type directed equality on values. | |||||
| |||||
| |||||
Syntax directed equality on atomic values | |||||
| |||||
Type-directed equality on argument lists | |||||
| |||||
Equality on Types | |||||
| |||||
Sorts | |||||
| |||||
| |||||
Check that the first sort is less or equal to the second. | |||||
| |||||
| |||||
| |||||
Check that the first sort equal to the second. | |||||
Produced by Haddock version 2.4.2 |