package DAGaml

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