diff options
Diffstat (limited to 'txr.1')
| -rw-r--r-- | txr.1 | 14 |
1 files changed, 12 insertions, 2 deletions
@@ -17115,7 +17115,7 @@ brackets indicate a plurality of types which are not listed by name: | | | +--- struct-type | | - | +--- <structures> + | +--- <all structures> | | | +--- ... others | @@ -17161,6 +17161,8 @@ In addition to the above hierarchy, the following relationships also exist: +--- nil sym --- null + + struct ---- <all structures> .cble That is to say, the types are exhaustively partitioned into atoms and conses; @@ -17194,7 +17196,7 @@ which is the type of the .code nil symbol. -Lastly, because the type of +Because the type of .code nil is the type .code null @@ -17205,6 +17207,10 @@ is also a symbol, the type is a subtype of .codn sym . +Lastly, the symbol +.code struct +serves as the supertype of all structures. + .coNP Function @ typeof .synb .mets (typeof << value ) @@ -17308,6 +17314,10 @@ both name structure types, then yields true if the types are the same struct type, or if the right type is a direct or indirect supertype of the left. +The type symbol +.code struct +is a supertype of all structure types. + .coNP Function @ typep .synb .mets (typep < object << type-symbol ) |