diff --git a/lib/chibi/type-inference.sld b/lib/chibi/type-inference.sld
index dc1de353..a2fdb8d6 100644
--- a/lib/chibi/type-inference.sld
+++ b/lib/chibi/type-inference.sld
@@ -1,6 +1,7 @@
 
 (define-library (chibi type-inference)
-  (export type-analyze-module type-analyze procedure-signature)
+  (export type-analyze-module type-analyze procedure-signature
+          type=? type-subset?)
   (import (chibi) (srfi 1) (srfi 38) (srfi 69)
           (chibi modules) (chibi ast) (chibi match))
   (include "type-inference.scm"))