A modified zip function in OCaml that output a list with the second input list's element repeated.

zip_repeat_input2.ml

(* Define the unfold function.*)
let rec unfold p g b1 b2 =
  if p b1 b2 then [] else
    (match g b1 b2 with (a, (b1prime, b2prime)) ->
       a :: unfold p g b1prime b2prime)
;;

(* Define the zip_repeat_input2 function.*)
let zip_repeat_input2 = unfold
  (* Define p.*)
  (fun x y -> ((List.length x = 0) || (List.length y = 0)))
  (* Define g.*)
  (fun x y -> ( (List.hd x, List.hd y, List.hd y), (List.tl x, List.tl y)))
;;

See my blog post.