diff --git a/txexpr/main.rkt b/txexpr/main.rkt
index f28bfac..4961fe0 100644
--- a/txexpr/main.rkt
+++ b/txexpr/main.rkt
@@ -4,6 +4,7 @@
 (require-via-wormhole "../typed/txexpr/main.rkt")
 
 (provide+safe
+ [xexpr? predicate/c]
  [txexpr? predicate/c]
  [txexpr-short? predicate/c]
  [txexpr-tag? predicate/c]