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.e -> 'a M0.e -> ('a M0.e, M0.edge * 'a M0.n) GuaCaml.Utils.merge
val pull : ('a -> 'b) -> 'a M0.e -> (M0.tag, 'a M0.e, 'a M0.n) GuaCaml.Utils.unmerge_tagged
val pull_node : ('a -> 'b) -> 'a M0.n -> M0.tag * 'a M0.e * 'a M0.e
val compose : M0.edge -> 'a M0.e -> 'a M0.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
OCaml

Innovation. Community. Security.