1 files changed, 125 insertions, 0 deletions
diff --git a/docs/modules/util.md b/docs/modules/util.md
new file mode 100644
index 0000000..d89e23e
--- /dev/null
+++ b/docs/modules/util.md
@@ -0,0 +1,125 @@
+[ts-types-lang](../README.md) / [Modules](../modules.md) / util
+
+# Module: util
+
+## Table of contents
+
+### Interfaces
+
+- [ConstK](../interfaces/util.ConstK.md)
+- [IdK](../interfaces/util.IdK.md)
+
+### Type Aliases
+
+- [ADT](util.md#adt)
+- [ApplyK](util.md#applyk)
+- [Equals](util.md#equals)
+- [Id](util.md#id)
+- [Let](util.md#let)
+- [Not](util.md#not)
+
+## Type Aliases
+
+### ADT
+
+Ƭ **ADT**<`D`\>: { [k in keyof D]: Object } extends infer Rec ? { `t`: `Rec`[keyof `Rec`]  } & { [k in keyof Rec]: ADTConstructor<Rec[k]\> } : `never`
+
+#### Type parameters
+
+| Name | Type |
+| :------ | :------ |
+| `D` | extends `Record`<`string`, `any`\> |
+
+#### Defined in
+
+[util.ts:23](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L23)
+
+___
+
+### ApplyK
+
+Ƭ **ApplyK**<`K`, `Val`\>: `K` & { `input`: `Val`  }[``"return"``]
+
+#### Type parameters
+
+| Name | Type |
+| :------ | :------ |
+| `K` | extends [`Kind1`](../interfaces/effect.Kind1.md) |
+| `Val` | `Val` |
+
+#### Defined in
+
+[util.ts:5](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L5)
+
+___
+
+### Equals
+
+Ƭ **Equals**<`Left`, `Right`\>: [`Left`] extends [`Right`] ? [`Right`] extends [`Left`] ? ``true`` : ``false`` : ``false``
+
+#### Type parameters
+
+| Name |
+| :------ |
+| `Left` |
+| `Right` |
+
+#### Defined in
+
+[util.ts:29](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L29)
+
+___
+
+### Id
+
+Ƭ **Id**: <T\>() => `T`
+
+#### Type declaration
+
+▸ <`T`\>(): `T`
+
+##### Type parameters
+
+| Name |
+| :------ |
+| `T` |
+
+##### Returns
+
+`T`
+
+#### Defined in
+
+[util.ts:7](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L7)
+
+___
+
+### Let
+
+Ƭ **Let**<`f`\>: `ReturnType`<`f`\>
+
+#### Type parameters
+
+| Name | Type |
+| :------ | :------ |
+| `f` | extends (...`args`: `any`) => `any` |
+
+#### Defined in
+
+[util.ts:3](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L3)
+
+___
+
+### Not
+
+Ƭ **Not**<`B`\>: `B` extends ``true`` ? ``false`` : ``true``
+
+#### Type parameters
+
+| Name | Type |
+| :------ | :------ |
+| `B` | extends `boolean` |
+
+#### Defined in
+
+[util.ts:35](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/util.ts#L35)