package DAGaml

  1. Overview
  2. Docs
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 : ('a -> 'b) -> Model.tag -> 'a Model.e -> 'a Model.e -> ('a Model.e, Model.edge * 'a Model.n) GuaCaml.Utils.merge
val pull : ('a -> 'b) -> 'a Model.e -> (Model.tag, 'a Model.e, 'a Model.n) GuaCaml.Utils.unmerge_tagged
val pull_node : ('a -> 'b) -> 'a Model.n -> Model.tag * 'a Model.e * 'a Model.e
val compose : Model.edge -> 'a Model.e -> 'a Model.e
val dump_leaf : 'a option
val load_leaf : 'a option
val dot_of_leaf : 'a option
val dump_edge : 'a option
val load_edge : 'a option
val dot_of_edge : 'a option
val dump_node : 'a option
val load_node : 'a option
val dot_of_node : 'a option