diff --git a/index.d.ts b/index.d.ts
index a8a86de..242070a 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -35,49 +35,49 @@ export const Int: {
     symbol: string;
 };
 
-export const ModuleCompareDynamic: (string[])[];
+export const ModuleCompareDynamic: [string, Dynamic][];
 
-export const ModuleComparePrimitives: (string[])[];
+export const ModuleComparePrimitives: [string, Dynamic][];
 
-export const ModuleCompareStructures: (string[])[];
+export const ModuleCompareStructures: [string, Dynamic][];
 
-export const ModuleCompareTypes: (string[])[];
+export const ModuleCompareTypes: [string, Dynamic][];
 
-export const ModuleDict: (string[])[];
+export const ModuleDict: [string, Dynamic][];
 
-export const ModuleDouble: (string[])[];
+export const ModuleDouble: [string, Dynamic][];
 
-export const ModuleDynamic: (string[])[];
+export const ModuleDynamic: [string, Dynamic][];
 
-export const ModuleInt: (string[])[];
+export const ModuleInt: [string, Dynamic][];
 
-export const ModuleList: (string[])[];
+export const ModuleList: [string, Dynamic][];
 
-export const ModulePrimitiveSymbols: (string[])[];
+export const ModulePrimitiveSymbols: [string, Dynamic][];
 
-export const ModulePrimitiveTypes: (string[])[];
+export const ModulePrimitiveTypes: [string, Dynamic][];
 
-export const ModuleProduct: (string[])[];
+export const ModuleProduct: [string, Dynamic][];
 
-export const ModuleSet: (string[])[];
+export const ModuleSet: [string, Dynamic][];
 
-export const ModuleStd: (string[])[];
+export const ModuleStd: [string, Dynamic][];
 
-export const ModuleStruct: (string[])[];
+export const ModuleStruct: [string, Dynamic][];
 
-export const ModuleStructuralSymbols: (string[])[];
+export const ModuleStructuralSymbols: [string, Dynamic][];
 
-export const ModuleSum: (string[])[];
+export const ModuleSum: [string, Dynamic][];
 
-export const ModuleSymbol: (string[])[];
+export const ModuleSymbol: [string, Dynamic][];
 
-export const ModuleType: (string[])[];
+export const ModuleType: [string, Dynamic][];
 
 export const ModuleTypeConstructor: any[];
 
-export const ModuleTypeConstructors: (string[])[];
+export const ModuleTypeConstructors: [string, Dynamic][];
 
-export const ModuleUnit: (string[])[];
+export const ModuleUnit: [string, Dynamic][];
 
 export const Ordering: {
     params: any[];