aboutsummaryrefslogtreecommitdiff
path: root/doc/ref/guile/util-type.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/ref/guile/util-type.texi')
-rw-r--r--doc/ref/guile/util-type.texi11
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/ref/guile/util-type.texi b/doc/ref/guile/util-type.texi
index 104b00b3..d389287e 100644
--- a/doc/ref/guile/util-type.texi
+++ b/doc/ref/guile/util-type.texi
@@ -22,11 +22,12 @@ into the argument list in the first position:
(proc args ...) ⇒ (proc x args ...)
@end example
-The two primitives @code{and} and @code{or} are also available, which
-both take an arbitrary number of predicates, and calls them in order,
-with Scheme's usual short-circuiting rules.
-@footnote{@code{and} and @code{or} doesn't have to be primitives, but
-we would otherwise have one hell of a namespace conflict}
+The primitives @code{and}, @code{or}, and @code{not} are also
+available, which each take the same number of predicates as schemes
+primitives of the same name, and calls them in order, with Scheme's
+usual short-circuiting rules. @footnote{These don't have to be
+primitives, but we would otherwise have one hell of a namespace
+conflict}
@defmac list-of variable type-clause
Checks if @var{variable} is a list, and that every element satisfies type-clause.