package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type leaf
type edge
type node
type ident
type next_t = (leaf, ident) GuaCaml.Tree.gnext
type edge_t = edge * next_t
type node_t = node * edge_t list
type manager
val newman : unit -> manager
val push : manager -> node_t -> ident
val pull : manager -> ident -> node_t