package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'leaf, !'edge, !'node) next =
  1. | Node of ('leaf, 'edge, 'node) node
  2. | Leaf of 'leaf
and (!'leaf, !'edge, !'node) edge = 'edge * ('leaf, 'edge, 'node) next
and (!'leaf, !'edge, !'node) node = 'node * ('leaf, 'edge, 'node) edge list
type (!'link, !'leaf) gnext = ('link, 'leaf) Tree.gnext
type (!'link, !'leaf, !'edge) gedge = 'edge * ('link, 'leaf) gnext
type (!'link, !'leaf, !'edge, !'node) gnode = 'node * ('link, 'leaf, 'edge) gedge list