package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module H : sig ... end
type ident = int
and node = H.node * tree * tree
and pnode = ident
val get_ident : pnode -> ident
val equal_tree : tree -> tree -> bool
val equal_node : node -> node -> bool
val makeman : int -> manager
val newman : unit -> manager
val push : manager -> node -> pnode
val pull : manager -> pnode -> node
val dump_stats : manager -> GuaCaml.Tree.stree