package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type eval
val eval : eval -> edge -> (edge, M.edge * (eval * G.pnode)) GuaCaml.Utils.merge
val solver : (G.pnode -> G.ident) -> M.tag -> edge -> edge -> (M.edge * (eval option * G.tree), M.edge * (M.tag * (M.edge * (eval option * G.tree)) * (M.edge * (eval option * G.tree)))) GuaCaml.Utils.merge