diff --git a/corelib/src/clone.cairo b/corelib/src/clone.cairo
index 436a782e722..5336cca62f2 100644
--- a/corelib/src/clone.cairo
+++ b/corelib/src/clone.cairo
@@ -1,15 +1,73 @@
+//! The `Clone` trait provides the ability to duplicate instances of types that cannot be
+//! 'implicitly copied'.
+//!
+//! In Cairo, some simple types are "implicitly copyable": when you assign them or pass them as
+//! arguments, the receiver will get a copy, leaving the original value in place. These types do not
+//! require allocation to copy, and are not at risk of accessing un-allocated memory, so the
+//! compiler considers them cheap and safe to copy. For other types, copies must be made explicitly,
+//! by convention implementing the [`Clone`] trait and calling the [`Clone::clone`] method.
+//!
+//! # Examples
+//!
+//! ```
+//! let arr = array![1, 2, 3];
+//! let cloned_arr = arr.clone();
+//! assert!(arr == cloned_arr);
+//! ```
+//!
+//! You can use the `#[derive(Clone)]` attribute to automatically generate the
+//! implementation for your type:
+//!
+//! ```
+//! #[derive(Clone, Drop)]
+//! struct Sheep {
+//!    name: ByteArray,
+//!    age: u8,
+//! }
+//!
+//! fn main() {
+//!    let dolly = Sheep {
+//!        name: "Dolly",
+//!        age: 6,
+//!    };
+//!
+//!    let cloned_sheep = dolly.clone();  // Famous cloned sheep!
+//!}
+//! ```
+
+/// A common trait for the ability to explicitly duplicate an object.
+///
+/// Differs from `Copy` in that `Copy` is implicit and inexpensive, while
+/// `Clone` is always explicit and may or may not be expensive.
+///
+/// Since `Clone` is more general than `Copy`, you can automatically make anything
+/// `Copy` be `Clone` as well.
+///
+/// ## Derivable
+///
+/// This trait can be used with `#[derive]` if all fields are `Clone`. The `derive`d
+/// implementation of `Clone` calls `clone` on each field.
 pub trait Clone<T> {
+    /// Returns a copy of the value.
+    ///
+    /// # Examples
+    ///
+    /// ```
+    /// let arr = array![1, 2, 3];
+    /// assert!(arr == arr.clone());
+    /// ```
     #[must_use]
     fn clone(self: @T) -> T;
 }
 
+// Implementation of `Clone` for types that are `Copy`.
 impl TCopyClone<T, +Copy<T>> of Clone<T> {
     fn clone(self: @T) -> T {
         *self
     }
 }
 
-/// Tuple `Clone` implementation.
+// Implementation of `Clone` for tuples.
 impl TupleClone<
     T,
     impl TSF: crate::metaprogramming::TupleSnapForward<T>,
@@ -21,28 +79,28 @@ impl TupleClone<
     }
 }
 
-/// Trait helper for implementing `Clone` for tuples.
-/// Provides a `Clone` function for tuples of snapshots, and basic snapshots.
+// Trait helper for implementing `Clone` for tuples.
+// Provides a `clone` function for tuples of snapshots, and basic snapshots.
 trait CloneHelper<T, Cloned> {
     fn clone(value: T) -> Cloned;
 }
 
-/// An implementation of `CloneHelper` for a snapshot of any type with `Clone`
-/// implementation.
+// An implementation of `CloneHelper` for a snapshot of any type with `Clone`
+// implementation.
 impl CloneHelperByClone<T, +Clone<T>> of CloneHelper<@T, T> {
     fn clone(value: @T) -> T {
         value.clone()
     }
 }
 
-/// Base implementation of `CloneHelper` for tuples.
+// Base implementation of `CloneHelper` for tuples.
 impl CloneHelperBaseTuple of CloneHelper<(), ()> {
     fn clone(value: ()) -> () {
         value
     }
 }
 
-/// Base implementation of `CloneHelper` for fixed-sized arrays.
+// Base implementation of `CloneHelper` for fixed-sized arrays.
 impl FixedSizedArrayCloneHelper<T> of CloneHelper<[@T; 0], [T; 0]> {
     fn clone(value: [@T; 0]) -> [T; 0] {
         let [] = value;
@@ -50,7 +108,7 @@ impl FixedSizedArrayCloneHelper<T> of CloneHelper<[@T; 0], [T; 0]> {
     }
 }
 
-/// Recursive implementation of `CloneHelper` for tuple style structs.
+// Recursive implementation of `CloneHelper` for tuple style structs.
 impl TupleNextCloneHelper<
     T,
     impl TH: crate::metaprogramming::TupleSplit<T>,