docs: even more tweaks

RedPRL · Sep 21, 2023 · eee4d3e · eee4d3e
1 parent 57fd043
commit eee4d3e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/ModifierSigs.ml b/src/ModifierSigs.ml
@@ -41,10 +41,10 @@ sig
   (** The signature of a module implementing all effect handlers for a modifier engine. *)
 
   module Perform : Perform
-  (** The module that (re-)perform effects. *)
+  (** The handlers that (re-)perform effects. *)
 
   module Silence : Perform
-  (** The module that silence effects. *)
+  (** The handlers that silence effects. All the triggers actually do nothing. *)
 
   type not_found_handler = context option -> Trie.bwd_path -> unit
   (** The type of a handler of the {!val:Modifier.S.module-Perform.not_found} effect. *)

diff --git a/src/ScopeSigs.ml b/src/ScopeSigs.ml
@@ -170,7 +170,7 @@ section {
   (** The handlers that (re-)perform effects. *)
 
   module Silence : Perform
-  (** The handlers that silence effects. *)
+  (** The handlers that silence effects. All the triggers actually do nothing. *)
 
   val run : ?not_found:not_found_handler -> ?shadow:shadow_handler -> ?hook:hook_handler ->
     ?export_prefix:Trie.bwd_path -> ?init_visible:(data, tag) Trie.t -> (unit -> 'a) -> 'a