package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = Model
val is_cst : ('a * ('b option, 'c) GuaCaml.Tree.gnext) -> 'a option
val cst : 'a -> 'a * ('b option, 'c) GuaCaml.Tree.gnext
val cneg : 'a -> ('a * 'b) -> bool * 'b
val medge : ('a * 'b) -> 'a * ('b, 'c) GuaCaml.Utils.merge
val push_node : (snax * (bool * ('a option, 'b) GuaCaml.Tree.gnext) * (bool * ('a option, 'b) GuaCaml.Tree.gnext)) -> bool * (('a option, 'b) GuaCaml.Tree.gnext, snax * (bool * ('a option, 'b) GuaCaml.Tree.gnext) * (bool * ('a option, 'b) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge
val compose : 'a -> ('a * 'b) -> bool * 'b