package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = G1
val solver : (unit * (('a * 'b list) * (bool * 'c, 'd) GuaCaml.Tree.gnext) * (('a * 'b list) * (bool * 'c, 'd) GuaCaml.Tree.gnext)) -> ('a * 'b list) * ((bool * 'c, 'd) GuaCaml.Tree.gnext, 'e, unit * (('a * 'b list) * (bool * 'c, 'd) GuaCaml.Tree.gnext) * (('a * 'b list) * (bool * 'c, 'd) GuaCaml.Tree.gnext)) GuaCaml.Utils.merge3