| < | (data ** data -> bool) -> bstree ** bstree -> bool |
| < | (data ** data -> bool) -> heap ** heap -> bool |
| < | (data ** data -> bool) -> option ** option -> bool |
| < | (data ** data -> bool) -> seq ** seq -> bool |
| < | (data ** data -> bool) -> set ** set -> bool |
| < | (data ** data -> bool) -> tree ** tree -> bool |
| < | bag ** bag -> bool |
| < | bool ** bool -> bool |
| < | char |
| < | char ** char -> bool |
| < | codom ** codom -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] |
| < | codomFrom ** codomFrom -> bool |
| < | codomTo ** codomTo -> bool |
| < | data ** data -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29] |
| < | data1 ** data1 -> bool : [1], [2], [3], [4], [5], [6] |
| < | data2 ** data2 -> bool : [1], [2], [3], [4] |
| < | denotation ** denotation -> bool |
| < | device ** device -> bool |
| < | dom ** dom -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31] |
| < | domFrom ** domFrom -> bool |
| < | domTo ** domTo -> bool |
| < | filemode ** filemode -> bool |
| < | filestat ** filestat -> bool |
| < | filetype ** filetype -> bool |
| < | from ** from -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] |
| < | from1 ** from1 -> bool : [1], [2] |
| < | from2 ** from2 -> bool : [1], [2] |
| < | group ** group -> bool |
| < | groupid ** groupid -> bool |
| < | inode ** inode -> bool |
| < | int ** int -> bool |
| < | interdom ** interdom -> bool : [1], [2], [3] |
| < | mid ** mid -> bool |
| < | nat ** nat -> bool |
| < | packOp ** packOp -> bool |
| < | pair[data1, data2] ** pair[data1, data2] -> bool : [1], [2] |
| < | process ** process -> bool |
| < | real ** real -> bool |
| < | rel |
| < | rel ** rel -> bool |
| < | set ** set -> bool : [1], [2], [3] |
| < | sigmask ** sigmask -> bool |
| < | signal ** signal -> bool |
| < | sreal ** sreal -> bool |
| < | string ** string -> bool |
| < | subrel |
| < | tag ** tag -> bool |
| < | time ** time -> bool |
| < | to ** to -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] |
| < | union[data1, data2] ** union[data1, data2] -> bool : [1], [2] |
| < | user ** user -> bool |
| < | userid ** userid -> bool |
| < | version ** version -> bool |
| < | wday ** wday -> bool |