research/dope2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix module types

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-13 14:11:41 +02:00
parent 135bfc7351
commit 1a55c52782
1 changed files with 21 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

42
index.d.ts vendored
View file

@ -35,49 +35,49 @@ export const Int: {
symbol: string; 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 ModuleTypeConstructor: any[];
export const ModuleTypeConstructors: (string[])[]; export const ModuleTypeConstructors: [string, Dynamic][];
export const ModuleUnit: (string[])[]; export const ModuleUnit: [string, Dynamic][];
export const Ordering: { export const Ordering: {
params: any[]; params: any[];