From b305116d15d9b809ee0601261565cc354cde88bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Mon, 16 Oct 2023 19:03:02 +0200
Subject: Move `false?` to type module.

---
 doc/ref/general/util-type.texi | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'doc')

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
-- 
cgit v1.2.3