package acgtk

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

Module TreeContext.TreeSource

The module for trees

Sourcetype 'a tree =
  1. | Node of 'a * 'a tree list
Sourceval pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a tree -> unit

pp ppf fmt t pretty prints the tree t on the formatter fmt using the pretty printer for tree nodes ppf

Sourceval fold_depth_first : (('a -> 'b) * ('b -> 'b -> 'b)) -> 'a tree -> 'b

fold_depth_first (f,g) t recursively computes (g a) b_1 .... b_n where a=f t_0 and b_i= f t_i and t is a tree of node t_0 and of children t_1...t_n

Sourceval label : 'a tree -> 'a