diff --git a/doc/EN/API/types/traits/Container.md b/doc/EN/API/types/traits/Container.md
index 96b95eba..6b730ffa 100644
--- a/doc/EN/API/types/traits/Container.md
+++ b/doc/EN/API/types/traits/Container.md
@@ -1,5 +1,20 @@
 # Container T
 
+## impl traits
+
+* `Iterator(T <: Eq)`
+
 ## required methods
 
 ### `__contains__`
+
+## impl classes
+
+* `Array`
+* `Tuple`
+* `Str`
+* `Range`
+* `MemoryView`
+* `Dict`
+* `Set`
+* `MappingProxy`
diff --git a/doc/EN/API/types/traits/Iterator.md b/doc/EN/API/types/traits/Iterator.md
index 1f366fff..47282ecb 100644
--- a/doc/EN/API/types/traits/Iterator.md
+++ b/doc/EN/API/types/traits/Iterator.md
@@ -7,3 +7,17 @@
 ## required methods
 
 * `__next__`
+
+## provided methods
+
+* (Iterable.) `__iter__`
+
+## impl classes
+
+* `ListIterator`
+* `TupleIterator`
+* `StrIterator`
+* `RangeIterator`
+* `MemoryIterator`
+* `DictKeyIterator`
+* `SetIterator`
diff --git a/doc/EN/API/types/traits/Mapping.md b/doc/EN/API/types/traits/Mapping.md
index 5f9e50e3..1fc93cfc 100644
--- a/doc/EN/API/types/traits/Mapping.md
+++ b/doc/EN/API/types/traits/Mapping.md
@@ -2,17 +2,24 @@
 
 ## subsumed traits
 
-* `Collection V`
+* `Sized`
+* `Iterable V`
 * `Indexable K, V`
 
 ## impl traits
 
+* `Collection V`
+  * `Sized`
+  * `Iterable V`
+  * `Container V`
 * `Eq`
 
 ## provided methods
 
 ### `get`
 
+### (Container.) `__contains__`
+
 ### `keys`
 
 ### `values`
@@ -20,3 +27,8 @@
 ### `items`
 
 ### (Eq.) `__eq__`
+
+## impl classes
+
+* `Dict`
+* `MappingProxy`
diff --git a/doc/EN/API/types/traits/Reversible.md b/doc/EN/API/types/traits/Reversible.md
new file mode 100644
index 00000000..0b3996b8
--- /dev/null
+++ b/doc/EN/API/types/traits/Reversible.md
@@ -0,0 +1,9 @@
+# Reversible T
+
+## subsumed traits
+
+## [`Iterable T`](./Iterable.md)
+
+## required methods
+
+### `__reversed__`
diff --git a/doc/EN/API/types/traits/Sequence.md b/doc/EN/API/types/traits/Sequence.md
index 6c949a46..e4a6b17d 100644
--- a/doc/EN/API/types/traits/Sequence.md
+++ b/doc/EN/API/types/traits/Sequence.md
@@ -2,10 +2,22 @@
 
 ## subsumed traits
 
+* `Indexable T`
 * `Sized`
-* `GetItem Nat`
 
 ## impl traits
 
 * `Collection T`
-* `Reversible T`
+  * `Sized`
+  * `Iterable T`
+  * `Container T`
+* `Reversible`
+  * `Iterable T`
+
+## impl classes
+
+* `Array`
+* `Tuple`
+* `Str`
+* `Range`
+* `MemoryView`
diff --git a/doc/JA/API/types/traits/Mapping.md b/doc/JA/API/types/traits/Mapping.md
index 5f9e50e3..fcf28e7a 100644
--- a/doc/JA/API/types/traits/Mapping.md
+++ b/doc/JA/API/types/traits/Mapping.md
@@ -2,8 +2,8 @@
 
 ## subsumed traits
 
-* `Collection V`
-* `Indexable K, V`
+* [`Collection V`](./Collection.md)
+* [`Indexable K, V`](./Indexable.md)
 
 ## impl traits