diff --git a/index.d.ts b/index.d.ts
new file mode 100644
index 0000000..a8a86de
--- /dev/null
+++ b/index.d.ts
@@ -0,0 +1,486 @@
+/** Declaration file generated by dts-gen */
+
+export const Bool: {
+    params: any[];
+    symbol: string;
+};
+
+export const Bottom: {
+    params: any[];
+    symbol: string;
+};
+
+export const Byte: {
+    params: any[];
+    symbol: string;
+};
+
+export const Char: {
+    params: any[];
+    symbol: string;
+};
+
+export const Double: {
+    params: any[];
+    symbol: string;
+};
+
+export const Dynamic: {
+    params: any[];
+    symbol: string;
+};
+
+export const Int: {
+    params: any[];
+    symbol: string;
+};
+
+export const ModuleCompareDynamic: (string[])[];
+
+export const ModuleComparePrimitives: (string[])[];
+
+export const ModuleCompareStructures: (string[])[];
+
+export const ModuleCompareTypes: (string[])[];
+
+export const ModuleDict: (string[])[];
+
+export const ModuleDouble: (string[])[];
+
+export const ModuleDynamic: (string[])[];
+
+export const ModuleInt: (string[])[];
+
+export const ModuleList: (string[])[];
+
+export const ModulePrimitiveSymbols: (string[])[];
+
+export const ModulePrimitiveTypes: (string[])[];
+
+export const ModuleProduct: (string[])[];
+
+export const ModuleSet: (string[])[];
+
+export const ModuleStd: (string[])[];
+
+export const ModuleStruct: (string[])[];
+
+export const ModuleStructuralSymbols: (string[])[];
+
+export const ModuleSum: (string[])[];
+
+export const ModuleSymbol: (string[])[];
+
+export const ModuleType: (string[])[];
+
+export const ModuleTypeConstructor: any[];
+
+export const ModuleTypeConstructors: (string[])[];
+
+export const ModuleUnit: (string[])[];
+
+export const Ordering: {
+    params: any[];
+    symbol: string;
+};
+
+export const TYPE_VARS: {
+    params: any[];
+    symbol: string;
+}[];
+
+export const Top: {
+    params: any[];
+    symbol: string;
+};
+
+export const Type: {
+    params: any[];
+    symbol: string;
+};
+
+export const UNBOUND_SYMBOLS: string[];
+
+export const UUID: {
+    params: any[];
+    symbol: string;
+};
+
+export const Unit: {
+    params: any[];
+    symbol: string;
+};
+
+export const emptyEnv: {
+    name2dyn: {
+        children: any[];
+    };
+    typeDict: {
+        tree: {
+            at: any;
+            begin: {
+                clone: any;
+                hasNext: boolean;
+                hasPrev: boolean;
+                index: number;
+                key: any;
+                next: any;
+                node: any;
+                prev: any;
+                remove: any;
+                tree: any;
+                update: any;
+                valid: boolean;
+                value: any;
+            };
+            end: {
+                clone: any;
+                hasNext: boolean;
+                hasPrev: boolean;
+                index: number;
+                key: any;
+                next: any;
+                node: any;
+                prev: any;
+                remove: any;
+                tree: any;
+                update: any;
+                valid: boolean;
+                value: any;
+            };
+            find: any;
+            forEach: any;
+            ge: any;
+            get: any;
+            gt: any;
+            insert: any;
+            keys: any[];
+            le: any;
+            length: number;
+            lt: any;
+            remove: any;
+            root: any;
+            values: any[];
+        };
+    };
+};
+
+export const symbolBool: string;
+
+export const symbolBottom: string;
+
+export const symbolByte: string;
+
+export const symbolChar: string;
+
+export const symbolDict: string;
+
+export const symbolDictIterator: string;
+
+export const symbolDouble: string;
+
+export const symbolDynamic: string;
+
+export const symbolFunction: string;
+
+export const symbolInt: string;
+
+export const symbolList: string;
+
+export const symbolOrdering: string;
+
+export const symbolProduct: string;
+
+export const symbolSet: string;
+
+export const symbolSetIterator: string;
+
+export const symbolSum: string;
+
+export const symbolTop: string;
+
+export const symbolType: string;
+
+export const symbolUUID: string;
+
+export const symbolUnit: string;
+
+export const unit: {
+};
+
+export function RBTreeWrapper(...args: any[]): any;
+
+export function UnifyError(...args: any[]): void;
+
+export function addDouble(x: any): void;
+
+export function addInt(x: any): void;
+
+export function apply(input: any): any;
+
+export function assignFn(funType: any, paramType: any): any;
+
+export function capitalizeFirstLetter(val: any): any;
+
+export function compareBools(x: any): any;
+
+export function compareDictIterators(compareKeys: any): any;
+
+export function compareDicts(compareKeys: any): any;
+
+export function compareDoubles(x: any): any;
+
+export function compareDynamic(x: any): void;
+
+export function compareFunctions(_compareInput: any): any;
+
+export function compareInts(x: any): any;
+
+export function compareLists(compareElems: any): any;
+
+export function compareOrderings(a: any): void;
+
+export function compareProducts(compareLeft: any): any;
+
+export function compareSetIterators(compareElems: any): any;
+
+export function compareSets(compareElems: any): any;
+
+export function compareSlots(compareElems: any): any;
+
+export function compareStrings(x: any): any;
+
+export function compareSums(compareLeft: any): any;
+
+export function compareSymbols(a: any): void;
+
+export function compareTypes(typeX: any): void;
+
+export function compareUnits(_: any): void;
+
+export function compareValues(compareElems: any): any;
+
+export function contains(env: any): any;
+
+export function dictType(typeParam: any): any;
+
+export function enumType(variants: any): any;
+
+export function eqDouble(x: any): void;
+
+export function eqInt(x: any): void;
+
+export function eqSymbol(a: any): void;
+
+export function eqType(t1: any): void;
+
+export function eqUnit(_: any): void;
+
+export function fnType(typeParam: any): any;
+
+export function genUUID(len: any): any;
+
+export function getCompatibleInputTypes(env: any): any;
+
+export function getDefaultTypeParser(): any;
+
+export function getEnabledFunctions(env: any): any;
+
+export function getFunctions(env: any): any;
+
+export function getHumanReadableName(symbol: any): void;
+
+export function getInst(lnk: any): void;
+
+export function getInstances(env: any): void;
+
+export function getLeft(product: any): void;
+
+export function getParams(type: any): void;
+
+export function getRight(product: any): void;
+
+export function getSymbol(type: any): void;
+
+export function getType(lnk: any): void;
+
+export function getTypes(env: any): any;
+
+export function growEnv({typeDict, name2dyn}: any): any;
+
+export function indent(multiline: any, n: any): any;
+
+export function inspectType(depth: any, options: any, inspect: any): any;
+
+export function isTypeVar(type: any): any;
+
+export function lsType(typeParam: any): any;
+
+export function makeCompareFn(type: any): any;
+
+export function makeConstructor(nParams: any): any;
+
+export function makeConstructorType(type: any): any;
+
+export function makeConstructorTypes(type: any): any;
+
+export function makeConstructors(variants: any): any;
+
+export function makeGeneric(callback: any): any;
+
+export function makeGetters(fieldNames: any): any;
+
+export function makeGettersTypes(type: any): any;
+
+export function makeMatchFn(variants: any): any;
+
+export function makeMatchFnType(type: any): any;
+
+export function makeModuleEnum(type: any): any;
+
+export function makeModuleStruct(type: any): any;
+
+export function makeTypeConstructor(symbol: any): void;
+
+export function makeTypeParser({
+  // parser can be extended:
+  extraPrimitives,
+  extraBracketOperators,
+  extraInfixOperators,
+}: any): any;
+
+export function match(sum: any): void;
+
+export function memoize(callback: any): any;
+
+export function mergeTwoWay(m1: any, m2: any): any;
+
+export function module2Env(module: any): any;
+
+export function mulDouble(x: any): void;
+
+export function mulInt(x: any): void;
+
+export function newDynamic(i: any): void;
+
+export function newLeft(left: any): void;
+
+export function newProduct(l: any): void;
+
+export function newRight(right: any): void;
+
+export function occurring(type: any): any;
+
+export function pretty(obj: any): any;
+
+export function prettyT(type: any): void;
+
+export function prodType(typeParam: any): any;
+
+export function recomputeTypeVars(types: any): any;
+
+export function setType(typeParam: any): any;
+
+export function structType(fields: any, rootSelf: any): any;
+
+export function substitute(type: any, substitutions: any, stack: any): any;
+
+export function sumType(typeParam: any): any;
+
+export function unify(fType: any, aType: any): any;
+
+export function zip(a: any, b: any): any;
+
+export namespace UnifyError {
+    const stackTraceLimit: number;
+
+    function captureStackTrace(p0: any, p1: any): any;
+
+    function isError(p0: any): any;
+
+    function prepareStackTrace(error: any, trace: any): any;
+
+}
+
+export namespace dict {
+    function emptyDict(compareFn: any): void;
+
+    function first(dict: any): void;
+
+    function fold(callback: any): any;
+
+    function get(dict: any): void;
+
+    function has(dict: any): void;
+
+    function last(dict: any): void;
+
+    function length(dict: any): void;
+
+    function read(iter: any): any;
+
+    function remove(dict: any): void;
+
+    function set(dict: any): void;
+
+}
+
+export namespace list {
+    const emptyList: any[];
+
+    function fold(callback: any): any;
+
+    function get(ls: any): void;
+
+    function length(ls: any): void;
+
+    function map(ls: any): void;
+
+    function pop(ls: any): void;
+
+    function push(ls: any): void;
+
+    function put(ls: any): void;
+
+}
+
+export namespace set {
+    function add(set: any): void;
+
+    function emptySet(compareFn: any): void;
+
+    function first(set: any): void;
+
+    function fold(callback: any): any;
+
+    function forEach(set: any): void;
+
+    function has(set: any): void;
+
+    function last(set: any): void;
+
+    function length(set: any): void;
+
+    function read(iter: any): any;
+
+    function remove(set: any): void;
+
+}
+
+export namespace trie {
+    const emptyTrie: {
+        children: any[];
+    };
+
+    function get(trie: any): any;
+
+    function growPrefix(trie: any): any;
+
+    function insert(trie: any): any;
+
+    function isProperlySorted(trie: any): any;
+
+    function suggest(trie: any): any;
+
+}
+