diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-10-14 22:22:08 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-10-14 22:22:08 -0700 |
| commit | 6b8cff664684949e9155e12ff13c2a3a4e860854 (patch) | |
| tree | d8d0333153cb2cce1f367def9960df1bab0f4a74 /txr.1 | |
| parent | 552b03e28ce914ec3959ae7585525ef45b92fc44 (diff) | |
| download | txr-6b8cff664684949e9155e12ff13c2a3a4e860854.tar.gz txr-6b8cff664684949e9155e12ff13c2a3a4e860854.tar.bz2 txr-6b8cff664684949e9155e12ff13c2a3a4e860854.zip | |
Slight section restructuring.
* txr.1: Object Type and Equivalence split into two.
Diffstat (limited to 'txr.1')
| -rw-r--r-- | txr.1 | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -12973,7 +12973,7 @@ if is a symbol which names a special operator, otherwise it returns .codn nil . -.SS* Object Type And Equivalence +.SS* Object Type In \*(TL, objects obey the following type hierarchy. In this type hierarchy, the internal nodes denote abstract types: no object is an instance of @@ -13216,6 +13216,8 @@ always matches. If such a clause is placed as the last clause of a it provides a fallback case, whose forms are evaluated if none of the previous clauses match. +.SS* Object Equivalence + .coNP Function @ identity .synb .mets (identity << value ) |