package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = G0
type extra = {
  1. cst0 : int;
  2. mutable input : int;
  3. mutable formule : (bool * int) list list;
}
type xnode = int
type xedge = unit
val rec_edge : int -> ('a * (int option, unit -> int) GuaCaml.Tree.gnext) -> 'a * int
val map_node : extra -> (unit -> xnode) M.M.node' -> int
val map_edge : extra -> (bool * (int option, unit -> int) GuaCaml.Tree.gnext) -> unit