From eee4d3e332a085db1c12bed58cf4c85a4fd5894c Mon Sep 17 00:00:00 2001 From: favonia Date: Thu, 21 Sep 2023 06:37:30 -0500 Subject: [PATCH] docs: even more tweaks --- src/ModifierSigs.ml | 4 ++-- src/ScopeSigs.ml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ModifierSigs.ml b/src/ModifierSigs.ml index 3ee3e675..ebb5ac7c 100644 --- 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 index 6ea2a0d5..036136fb 100644 --- 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