package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type
type tree = TreeData.tree
type node = TreeData.node
type zipper = tree * (int * node) list
val tree_to_zipper : tree -> zipper
val zipper_to_tree : zipper -> tree
val empty : node -> zipper
val is_root : zipper -> bool
val up : zipper -> zipper
val up_n : int -> zipper -> zipper
val top : zipper -> zipper
val down : zipper -> int -> zipper
val down_path : zipper -> int list -> zipper
val min_index : zipper -> int
val max_index : zipper -> int
val down_first : zipper -> zipper
val down_last : zipper -> zipper
val new_child : zipper -> tree -> int -> zipper
val new_last_child : zipper -> tree -> zipper
val new_first_child : zipper -> tree -> zipper
val has_child : zipper -> int -> bool
val remove_child : zipper -> int -> zipper