diff --git a/src/index.ts b/src/index.ts
index 06713c3..f858fc2 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -6,7 +6,7 @@ import {W} from './w';
 
 export {defaultContext};
 
-interface InferenceResult {
+export interface InferenceResult {
   resultType: string;
   intermediateVariables: Substitution['raw'];
 }