package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a t =
  1. | Leaf of 'a
  2. | Node of 'a f
and !'a f = 'a t SymBag.t
type !'a tree = 'a t
type !'a forest = 'a f