package DAGaml

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