1 files changed, 6 insertions, 0 deletions
diff --git a/module/hnh/util/type.scm b/module/hnh/util/type.scm
index 800834e5..7e1c5a3d 100644
--- a/module/hnh/util/type.scm
+++ b/module/hnh/util/type.scm
@@ -2,6 +2,7 @@
   :use-module ((srfi srfi-1) :select (every))
   :export (build-validator-body
            list-of pair-of
+           false?
            typecheck
            current-procedure-name))
 
@@ -44,3 +45,8 @@
                   (list (quote variable) (quote type-clause) variable)
                   #f)))))
 
+;;; For use in typechecks, since
+;;;   (or false? integer?)
+;;; is much clearer than
+;;;   (or not integer?)
+(define false? not)