package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

The module for tree contexts

type 'a t =
  1. | Top
  2. | Zipper of 'a * 'a Tree.tree ListContext.focused_list * 'a t
    (*

    The type of the context. Top is the empty context

    *)
type 'a focused_tree = 'a t * 'a Tree.tree

The type for focused trees (i.e., trees with their context

val up : 'a focused_tree -> 'a focused_tree

up (z,t) moves up in the context z of t and returns the new focused tree (z',t')