(* Zipper pour les listes *)

type 'a zipper = { left: 'a list; right: 'a list; }

(* ... Programme 73 page 308 ... *)

(* se déplacer tout au début (resp. tout à la fin) de la liste *)

let to_start z =
  { left = []; right = List.rev_append z.left z.right }

let to_end z =
  { left = List.rev_append z.right z.left; right = [] }

This document was generated using caml2html