package DAGaml

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