sig   type 'a t = 'a list * 'a list   val empty : 'a CCZipper.t   val is_empty : 'a CCZipper.t -> bool   val to_list : 'a CCZipper.t -> 'a list   val to_rev_list : 'a CCZipper.t -> 'a list   val make : 'a list -> 'a CCZipper.t   val left : 'a CCZipper.t -> 'a CCZipper.t   val left_exn : 'a CCZipper.t -> 'a CCZipper.t   val right : 'a CCZipper.t -> 'a CCZipper.t   val right_exn : 'a CCZipper.t -> 'a CCZipper.t   val modify : ('a option -> 'a option) -> 'a CCZipper.t -> 'a CCZipper.t   val insert : 'a -> 'a CCZipper.t -> 'a CCZipper.t   val remove : 'a CCZipper.t -> 'a CCZipper.t   val is_focused : 'a CCZipper.t -> bool   val focused : 'a CCZipper.t -> 'a option   val focused_exn : 'a CCZipper.t -> 'a   val drop_before : 'a CCZipper.t -> 'a CCZipper.t   val drop_after : 'a CCZipper.t -> 'a CCZipper.t   val drop_after_and_focused : 'a CCZipper.t -> 'a CCZipper.t end