diff --git a/core/src/main/scala/in/rcard/sus4s/sus4s.scala b/core/src/main/scala/in/rcard/sus4s/sus4s.scala
index 5270563..cff0546 100644
--- a/core/src/main/scala/in/rcard/sus4s/sus4s.scala
+++ b/core/src/main/scala/in/rcard/sus4s/sus4s.scala
@@ -3,16 +3,62 @@ package in.rcard.sus4s
 import java.util.concurrent.{CompletableFuture, StructuredTaskScope}
 
 object sus4s {
+
+  /** Represents the capability to suspend the execution of a program. The suspension points are
+    * those available for Java Virtual Threads.
+    */
   trait Suspend {
-    val scope: StructuredTaskScope[Any]
+    private[sus4s] val scope: StructuredTaskScope[Any]
   }
 
+  /** A value of type `A` obtained by a function that can suspend */
   type Suspended[A] = Suspend ?=> A
 
+  /** Represents a concurrent job returning a value of type `A`.
+    * @param cf
+    *   Contains the result of the job
+    * @tparam A
+    *   The type of the value returned by the job
+    */
   class Job[A] private[sus4s] (private val cf: CompletableFuture[A]) {
     def value: A = cf.join()
   }
 
+  /** Executes a block of code applying structured concurrency to the contained suspendable tasks
+    * and returns the result of the concurrent computation. In detail, a new concurrent task can be
+    * forked using the [[fork]] function. The structured concurrency ensures that the thread
+    * executing the block waits for the completion of all the forked tasks.
+    *
+    * The `structured` blocks terminates when:
+    *   - all the forked tasks complete successfully
+    *   - one of the forked tasks throws an exception
+    *   - the block throws an exception
+    *
+    * The `structured` function is completely transparent to any exception thrown by the block or by
+    * any of the forked tasks.
+   *
+   * <h2>Example</h2>
+   * {{{
+   * val result = structured {
+   *   val job1 = fork {
+   *     Thread.sleep(1000)
+   *     queue.add("job1")
+   *     42
+   *   }
+   *   val job2 = fork {
+   *     Thread.sleep(500)
+   *     queue.add("job2")
+   *     43
+   *   }
+   *   job1.value + job2.value
+   * }
+   * result shouldBe 85
+   * }}}
+    *
+    * @param block The block of code to execute in a structured concurrency context
+    * @tparam A The type of the result of the block
+    * @return The result of the block
+    */
   inline def structured[A](inline block: Suspend ?=> A): A = {
     val _scope = new StructuredTaskScope.ShutdownOnFailure()