package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type tag =
  1. | U
  2. | X
  3. | C of bool * bool
type tagi = tag * int
type tlist = tagi list
type uniq = int * bool * tlist
type pair = int * tlist * (bool * tlist)
type edge_state = uniq
type node_state = pair
type leaf = int
type edge = edge_state
type node = unit
type !'i next' = (leaf, 'i) GuaCaml.Tree.gnext
type !'i edge' = edge * 'i next'
type !'i node' = node * 'i edge' * 'i edge'
type !'a merge = edge_state * ('a next', 'a node') GuaCaml.Utils.merge
type !'a edge'm = ('a, 'a node') GuaCaml.Utils.merge edge'