diff options
-rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -53640,7 +53640,7 @@ object's type tag. .coNP Function @ cptr-obj .synb -.mets (cptr-int < object <> [ type-symbol ]) +.mets (cptr-obj < object <> [ type-symbol ]) .syne .desc The |