diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/hashtbl_alt.ml | 2 | ||||
| -rw-r--r-- | lib/hashtbl_alt.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/hashtbl_alt.ml b/lib/hashtbl_alt.ml index e6843174ae..9e0f0decca 100644 --- a/lib/hashtbl_alt.ml +++ b/lib/hashtbl_alt.ml @@ -24,7 +24,7 @@ end module type S = sig type elt (* [may_add_and_get key constr] uses [key] to look for [constr] - in the hash table [H]. If [constr] is [H], returns the + in the hash table [H]. If [constr] is in [H], returns the specific representation that is stored in [H]. Otherwise, [constr] is stored in [H] and will be used as the canonical representation of this value in the future. *) diff --git a/lib/hashtbl_alt.mli b/lib/hashtbl_alt.mli index 96dffb2cb0..a22dbc2880 100644 --- a/lib/hashtbl_alt.mli +++ b/lib/hashtbl_alt.mli @@ -24,7 +24,7 @@ end module type S = sig type elt (* [may_add_and_get key constr] uses [key] to look for [constr] - in the hash table [H]. If [constr] is [H], returns the + in the hash table [H]. If [constr] is in [H], returns the specific representation that is stored in [H]. Otherwise, [constr] is stored in [H] and will be used as the canonical representation of this value in the future. *) |