package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val compare : t -> t -> int
type transform
type t1
type t2
val compose : transform -> edge -> edge
val decomp : G.tree -> t -> t1 * t2 * edge
val solver : t2 -> edge -> (edge, transform * (t * G.tree)) GuaCaml.Utils.merge
val merger : t1 -> edge -> edge -> edge