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 extern
type t1
type t2
type extra
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