package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = G0
type extra = {
  1. mutable stack : string list;
  2. mutable ident : int;
}
type xnode = int
type xedge = int
val map_next : (bool, unit -> int) GuaCaml.Tree.gnext -> int
val map_node : extra -> (unit * ((int * 'a) * (bool, unit -> int) GuaCaml.Tree.gnext) * ((int * 'b) * (bool, unit -> int) GuaCaml.Tree.gnext)) -> int
val map_edge : 'a -> ('b * (bool, unit -> int) GuaCaml.Tree.gnext) -> int