Ocsigen_lib.List.split_at

Author: Jan Rochel

src/baselib/ocsigen_lib_base.ml

@@ -173,6 +173,13 @@ module List = struct
       | [] -> []
       | x :: xs -> chop (n-1) xs
 
+  let rec split_at n xs =
+    if n <= 0
+    then [], xs
+    else match xs with
+           | [] -> [], []
+           | x::xs -> let l,r = split_at (n-1) xs in x::l, r
+
 end
 
 (*****************************************************************************)

src/baselib/ocsigen_lib_base.mli

@@ -91,6 +91,7 @@ module List : sig
   val is_prefix : 'a list -> 'a list -> bool
 
   val chop : int -> 'a list -> 'a list
+  val split_at : int -> 'a list -> 'a list * 'a list
 
 end