1 files changed, 12 insertions, 0 deletions

diff --git a/lib/zipper.mli b/lib/zipper.mli
index d79604e..0bbdf27 100644
--- a/lib/zipper.mli
+++ b/lib/zipper.mli
@@ -136,17 +136,29 @@ val push : 'a -> 'a zipper -> 'a zipper
     Calling [push 0 z], if [z] is [([3; 2; 1], [4; 5])],
     the result is [([3; 2; 1], [0; 4; 5]))], *)
 
+val push_seq : 'a Sequence.t -> 'a zipper -> 'a zipper
+(** Like {!Zipper.push}, but inserts a sequence of elements at the cursor
+    position. *)
+
 val push_after : 'a -> 'a zipper -> 'a zipper
 (** Insert an element after the cursor. Behaves like {!Zipper.push} if
     the cursor is at the far right of the zipper.
     Calling [push_after 0 z], if [z] is [([3; 2; 1], [4; 5])],
     the result is [([3; 2; 1], [4; 0; 5]))], *)
 
+val push_after_seq : 'a Sequence.t -> 'a zipper -> 'a zipper
+(** Like {!Zipper.push_after}, but inserts a sequence of elements after
+    the cursor. *)
+
 val push_before : 'a -> 'a zipper -> 'a zipper
 (** Insert an element before the cursor. Return the modified zipper.
     Calling [push_before 0 z], if [z] is [([3; 2; 1], [4; 5])],
     the result is [([0; 3; 2; 1], [4; 5]))]. *)
 
+val push_before_seq : 'a Sequence.t -> 'a zipper -> 'a zipper
+(** Like {!Zipper.push_before}, but inserts a sequence of elements
+    before the cursor. *)
+
 val split : 'a zipper -> 'a zipper * 'a zipper
 (** [split z] splits the zipper in two. [([3; 2; 1], [4; 5])] becomes
     [([3; 2; 1], []), ([], [4; 5])]. *)