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 : ('a -> 'b) -> Model.tag -> 'a Model.edge' -> 'a Model.edge' -> 'a Model.pt_edge
val pull : ('a -> 'b) -> 'a Model.node' -> Model.tag * 'a Model.edge' * 'a Model.edge'
val pull_node : ('a -> 'b) -> 'a Model.node' -> Model.tag * 'a Model.edge' * 'a Model.edge'
val compose : Model.edge -> 'a Model.edge' -> 'a Model.edge'
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