doc

jonsterling · Oct 15, 2020 · 736f826 · 736f826
1 parent 9771afb
commit 736f826
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/core/Local.mli b/core/Local.mli
@@ -13,6 +13,8 @@ val throw : exn -> 'a m
 
 (** {1 Control operators} *)
 
+(** Extend the ambient context with a variable of a given type; the variable is
+    passed to the continuation. *)
 val scope : tp -> (tm -> 'a m) -> 'a m