diff options
| author | John Whitington <john@coherentgraphics.co.uk> | 2020-09-11 20:07:44 +0100 |
|---|---|---|
| committer | John Whitington <john@coherentgraphics.co.uk> | 2020-09-11 20:07:44 +0100 |
| commit | 2d217e7c4405e42a230bf65477397c1f60c80ce4 (patch) | |
| tree | 94a2497f54ada1c797931923ea9b2208b73c337c /stdlib/listLabels.mli | |
| parent | cd920ab5531945c2c2a13c49d2b7597ddb3c818c (diff) | |
| download | ocaml-2d217e7c4405e42a230bf65477397c1f60c80ce4.tar.gz | |
assoc -> assoc_opt
Diffstat (limited to 'stdlib/listLabels.mli')
| -rw-r--r-- | stdlib/listLabels.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index bc72faed0d..ef8478f994 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -388,7 +388,7 @@ val assoc : 'a -> ('a * 'b) list -> 'b val assoc_opt : 'a -> ('a * 'b) list -> 'b option (** [assoc_opt a l] returns the value associated with key [a] in the list of pairs [l]. That is, - [assoc a [ ...; (a,b); ...] = Some b] + [assoc_opt a [ ...; (a,b); ...] = Some b] if [(a,b)] is the leftmost binding of [a] in list [l]. Returns [None] if there is no value associated with [a] in the list [l]. |