From 6b8cff664684949e9155e12ff13c2a3a4e860854 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Wed, 14 Oct 2015 22:22:08 -0700 Subject: Slight section restructuring. * txr.1: Object Type and Equivalence split into two. --- txr.1 | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/txr.1 b/txr.1 index 112719be..2a641ee8 100644 --- a/txr.1 +++ b/txr.1 @@ -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 ) -- cgit v1.2.3