From d669ed844ca1fc356b1481a6b7e2a1d221715f4b Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Fri, 12 Mar 2021 06:25:43 +0200
Subject: [PATCH] Document mp_split

---
 doc/mp11/algorithm.adoc | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/doc/mp11/algorithm.adoc b/doc/mp11/algorithm.adoc
index c59a55a..37e32f5 100644
--- a/doc/mp11/algorithm.adoc
+++ b/doc/mp11/algorithm.adoc
@@ -567,11 +567,23 @@ using R3 = mp_flatten<L3>; // mp_list<float, mp_list<void>>
 
     template<class L, class S> using mp_intersperse = /*...*/;
 
-Inserts the separator `S` between the elements of `L`.
+Inserts the separator `S` between the elements of the list `L`.
 
 `mp_intersperse<L<>, S>` is `L<>`. `mp_intersperse<L<T1>, S>` is `L<T1>`.
 `mp_intersperse<L<T1, T2, T3, ..., Tn-1, Tn>, S>` is `L<T1, S, T2, S, T3, S, ..., Tn-1, S, Tn>`.
 
+## mp_split<L, S>
+
+    template<class L, class S> using mp_split = /*...*/;
+
+Splits the list `L` into segments at each separator `S` and returns a list of
+the segments.
+
+`mp_split<L<>, S>` is `L<L<>>`. `mp_split<L<T...>, S>`, where `S` does not occur in `T...`,
+is `L<L<T...>>`. `mp_split<L<T1..., S, T2..., S, T3...>, S>` is `L<L<T1...>, L<T2...>, L<T3...>>`.
+
+The segments may be empty; `mp_split<L<S, X, Y, S, S>, S>` is `L<L<>, L<X, Y>, L<>, L<>>`.
+
 ## mp_partition<L, P>
 
     template<class L, template<class...> class P> using mp_partition = /*...*/;