fix

dl-solarity · Jul 25, 2024 · 2011217 · 2011217
1 parent 07b9ff6
commit 2011217
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
     }