aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2023-10-16 19:03:02 +0200
committerHugo Hörnquist <hugo@lysator.liu.se>2023-10-16 19:03:02 +0200
commitb305116d15d9b809ee0601261565cc354cde88bc (patch)
treec3af05ee77ed2f6ff4b647ebb95f86e93b6b93a2 /doc
parentUpdate number of tests. (diff)
downloadcalp-b305116d15d9b809ee0601261565cc354cde88bc.tar.gz
calp-b305116d15d9b809ee0601261565cc354cde88bc.tar.xz
Move `false?` to type module.
Diffstat (limited to 'doc')
-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