package patoline

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

Module implementing zippers on arbitrarily branching trees.

module type TreeData = sig ... end

Module defining the types carried by the node or leaf of a tree.

module Make (D : TreeData) : sig ... end

Functor to build tree and zipper data structurs with data on the nodes and on the leaves.