Mode | Name | Size | |
---|---|---|---|
d--------- | concept.equiv | 142 | logplain |
d--------- | concept.invocable | 54 | logplain |
d--------- | concept.predicate | 120 | logplain |
d--------- | concept.regularinvocable | 62 | logplain |
d--------- | concept.relation | 118 | logplain |
d--------- | concept.strictweakorder | 136 | logplain |