diff --git a/src/types.ts b/src/types.ts
index 80654c5..9a024f1 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -3,7 +3,7 @@ export type Signal = NumberLike | Signal[];
 
 declare global {
   module Chai {
-    interface Assertion {
+    interface Assertion extends LanguageChains, NumericComparison, TypeComparison {
       witnessInputs(inputs: Record<string, Signal>): AsyncAssertion;
       witnessOutputs(outputs: Record<string, Signal>): AsyncAssertion;
     }