docs: remove init from the "Missing" list

RedPRL · Oct 20, 2023 · c67c8bf · c67c8bf
1 parent 76bf4e7
commit c67c8bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/BwdLabels.mli b/src/BwdLabels.mli
@@ -20,7 +20,7 @@
      {- Functions [rev], [rev_append], [rev_map], and [rev_map2] will {i never} be included.}}}
    {- Missing but may be added in the future:
       {ul
-      {- [init], [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
+      {- [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
       {- Functions related to association lists.}
       {- Functions related to sorting.}
       {- Conversion from/to sequences.}}}}

diff --git a/src/BwdNoLabels.mli b/src/BwdNoLabels.mli
@@ -20,7 +20,7 @@
      {- Functions [rev], [rev_append], [rev_map], and [rev_map2] will {i never} be included.}}}
    {- Missing but may be added in the future:
       {ul
-      {- [init], [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
+      {- [tl] (as [hd] for lists), [hd] (as [tl] for lists), [concat], [flatten], [concat_map].}
       {- Functions related to association lists.}
       {- Functions related to sorting.}
       {- Conversion from/to sequences.}}}}