package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val cons_is_reversible : ((unit * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext) * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext)) -> 'a * (('b, 'c option * int) GuaCaml.Tree.gnext, unit * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext) * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge) -> (('a * ('b, 'c option * int) GuaCaml.Tree.gnext) -> (unit * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext) * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext), 'd * ((unit * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext) * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext)) -> unit * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext) * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext))) GuaCaml.Utils.merge) -> (('a * ('b, 'c option * int) GuaCaml.Tree.gnext) -> int) -> (unit * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext) * ('a * ('b, 'c option * int) GuaCaml.Tree.gnext)) -> unit