diff options
| -rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40706,7 +40706,7 @@ Whenever the operator position of a pattern consists of a symbol which is not the name of a predicate operator, the expression denotes a predicate pattern, expected to conform to one of the first three syntax descriptions above. Whenever the operator position of a pattern consists of a meta-variable, it is also a -predicate pattern, expected to conform to one of the three two syntax +predicate pattern, expected to conform to one of the second three syntax descriptions. The first form of the predicate pattern consists of a compound form consisting |