package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type leaf = Model.leaf
type edge = Model.edge
type node = Model.node
type !'t gn = (leaf, 't) GuaCaml.Tree.gnext
type !'t n = node * 't gn * 't gn
type !'t e = edge * 't gn
val push : ('t -> 'i) -> 't e -> 't e -> ('t e, edge * 't n) GuaCaml.Utils.merge
val pull : ('t -> 'i) -> 't e -> ('t e, 't n) GuaCaml.Utils.unmerge
val pull_node : ('t -> 'i) -> 't n -> 't e * 't e
val compose : edge -> 't e -> 't e
val dump_leaf : (leaf -> GuaCaml.Tree.stree) option
val load_leaf : (GuaCaml.Tree.stree -> 't e) option
val dot_of_leaf : (leaf -> string) option
val dump_edge : (edge -> GuaCaml.Tree.stree) option
val load_edge : (GuaCaml.Tree.stree -> edge) option
val dot_of_edge : (edge -> string) option
val dump_node : (node -> GuaCaml.Tree.stree) option
val load_node : (GuaCaml.Tree.stree -> edge * edge) option
val dot_of_node : (node -> string * string * string) option