package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type leaf = M0.leaf
type edge = M0.edge
type node = M0.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) -> M0.tag -> 'a M0.edge' -> 'a M0.edge' -> 'a M0.pt_edge
val pull : ('a -> 'b) -> 'a M0.node' -> M0.tag * 'a M0.edge' * 'a M0.edge'
val pull_node : ('a -> 'b) -> 'a M0.node' -> M0.tag * 'a M0.edge' * 'a M0.edge'
val compose : M0.edge -> 'a M0.edge' -> 'a M0.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
OCaml

Innovation. Community. Security.