diff options
author | Jules Aguillon <juloo.dsi@gmail.com> | 2021-10-07 21:04:53 +0200 |
---|---|---|
committer | Jules Aguillon <jules@j3s.fr> | 2022-01-28 15:58:46 +0100 |
commit | 7d4885372d4aacb4325381adc29bcc3ad1886d84 (patch) | |
tree | 7fe0d1edd66b9c65698a07e0186edf4315fc12f3 /utils/local_store.mli | |
parent | 007ac55bbf202fe0006c3a24107153c1ecfe7b59 (diff) | |
download | ocaml-7d4885372d4aacb4325381adc29bcc3ad1886d84.tar.gz |
odoc: Fix unqualified and ambiguous references
Diffstat (limited to 'utils/local_store.mli')
-rw-r--r-- | utils/local_store.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/utils/local_store.mli b/utils/local_store.mli index f39cd12328..928f426fc3 100644 --- a/utils/local_store.mli +++ b/utils/local_store.mli @@ -23,8 +23,8 @@ (** {1 Creators} *) val s_ref : 'a -> 'a ref -(** Similar to {!ref}, except the allocated reference is registered into the - store. *) +(** Similar to {!val-ref}, except the allocated reference is registered into + the store. *) val s_table : ('a -> 'b) -> 'a -> 'b ref (** Used to register hash tables. Those also need to be placed into refs to be @@ -52,7 +52,7 @@ val fresh : unit -> store initialized to those values. *) val with_store : store -> (unit -> 'a) -> 'a -(** [with_scope s f] resets all the registered references to the value they have +(** [with_store s f] resets all the registered references to the value they have in [s] for the run of [f]. If [f] updates any of the registered refs, [s] is updated to remember those changes. *) @@ -63,4 +63,4 @@ val reset : unit -> unit val is_bound : unit -> bool (** Returns [true] when a scope is active (i.e. when called from the callback - passed to {!with_scope}), [false] otherwise. *) + passed to {!with_store}), [false] otherwise. *) |