1 files changed, 16 insertions, 21 deletions
diff --git a/docs/interfaces/test.Assert.md b/docs/interfaces/test.Assert.md
index b066763..f03e945 100644
--- a/docs/interfaces/test.Assert.md
+++ b/docs/interfaces/test.Assert.md
@@ -4,34 +4,29 @@
 
 [test](../modules/test.md).Assert
 
-## Type parameters
-
-| Name | Type |
-| :------ | :------ |
-| `_B` | extends `boolean` |
-
-## Hierarchy
-
-- [`Effect`](effect.Effect.md)
+Assert a boolean expression is true
 
-  ↳ **`Assert`**
-
-## Table of contents
+**`Throws`**
 
-### Properties
+if false
 
-- [output](test.Assert.md#output)
+**`Example`**
 
-## Properties
+Here's an example checking if `SomeValue` is not equal to [1,2,3]
+Uses - [Not](../modules/util.md#not), [Equals](../modules/util.md#equals)
 
-### output
+```ts
+Assert<Not<Equals<SomeValue, [1, 2, 3]>>>
+```
 
-• **output**: `unknown`
+## Type parameters
 
-#### Inherited from
+| Name | Type | Description |
+| :------ | :------ | :------ |
+| `_B` | extends `boolean` | The boolean value to assert |
 
-[Effect](effect.Effect.md).[output](effect.Effect.md#output)
+## Hierarchy
 
-#### Defined in
+- [`Effect`](effect.Effect.md)
 
-[effect.ts:2](https://github.com/phenax/ts-types-runtime-environment/blob/6c7b4f3/stdlib/effect.ts#L2)
+  ↳ **`Assert`**