package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = NAX.G0
type extra = carry
type xnode = int
type xedge = int Expr.expr
val map_edge : carry -> (bool * (int option, unit -> int) GuaCaml.Tree.gnext) -> int Expr.expr
val map_node : carry -> (nax * (bool * (int option, unit -> int) GuaCaml.Tree.gnext) * (bool * (int option, unit -> int) GuaCaml.Tree.gnext)) -> int