aboutsummaryrefslogtreecommitdiff
path: root/doc/ref/general/util-type.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/ref/general/util-type.texi')
-rw-r--r--doc/ref/general/util-type.texi12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/ref/general/util-type.texi b/doc/ref/general/util-type.texi
index 104b00b3..3a6cba3e 100644
--- a/doc/ref/general/util-type.texi
+++ b/doc/ref/general/util-type.texi
@@ -60,3 +60,15 @@ Useful at the start of procedures.
Returns the current procedure name as a symbol, or @code{#f} if not found.
@end defmac
+
+@defun false? x
+An alias of @code{not}. Usefull in type predicates when introducing optional
+types, since
+@example
+(or false? integer?)
+@end example
+is much clearer than
+@example
+(or not integer?)
+@end example
+@end defun