diff options
author | Guilherme Kunigami <kunigami@gmail.com> | 2017-08-09 02:17:42 -0700 |
---|---|---|
committer | Mark Shinwell <mshinwell@gmail.com> | 2017-08-09 10:17:42 +0100 |
commit | 53575806934d0903fbe3eae815b43daddf8b8048 (patch) | |
tree | 406c9c2745fe8e3acb608b62c7ba47fea5fc2f5e /stdlib/listLabels.mli | |
parent | 566ed41a3078dde3f99a4fbab1a2541add33cdfd (diff) | |
download | ocaml-53575806934d0903fbe3eae815b43daddf8b8048.tar.gz |
nit: improve List.rev_append doc wording (#1197)
Diffstat (limited to 'stdlib/listLabels.mli')
-rw-r--r-- | stdlib/listLabels.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index 788e32a449..82c301fdbb 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -86,8 +86,8 @@ val append : 'a list -> 'a list -> 'a list operator is not tail-recursive either. *) val rev_append : 'a list -> 'a list -> 'a list -(** [List.rev_append l1 l2] reverses [l1] and concatenates it to [l2]. - This is equivalent to {!List.rev}[ l1 @ l2], but [rev_append] is +(** [List.rev_append l1 l2] reverses [l1] and concatenates it with [l2]. + This is equivalent to [(]{!List.rev}[ l1) @ l2], but [rev_append] is tail-recursive and more efficient. *) val concat : 'a list list -> 'a list |