package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = Model
val arity : (('a * ('b * 'c)) * 'd) -> 'b
val compose : ('a * ('b * 'c)) -> (('a * ('c * 'd)) * 'e) -> (bool * ('b * 'd)) * 'e
val push_node : (unit * (('a * (int * int)) * 'b) * (('a * (int * int)) * 'b)) -> ('a * (int * int)) * ('b, unit * ((bool * (int * int)) * 'b) * ((bool * (int * int)) * 'b)) GuaCaml.Utils.merge
val pull_node : (('a * (int * int)) * ('b, 'c) GuaCaml.Tree.gnext) -> (unit * (('a * (int * int)) * ('b, 'c) GuaCaml.Tree.gnext) * (('a * (int * int)) * ('b, 'c) GuaCaml.Tree.gnext), 'c * ((unit * (('a * 'd) * 'e) * (('a * 'f) * 'g)) -> unit * ((bool * 'd) * 'e) * ((bool * 'f) * 'g))) GuaCaml.Utils.merge