package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ident
module M : MSig
type next' = ident M.next'
type edge' = ident M.edge'
type node' = ident M.node'
type manager
val makeman : int -> manager
val newman : unit -> manager
val dump_stats : manager -> GuaCaml.Tree.stree
val push : manager -> node' -> ident
val pull : manager -> ident -> node'
val string_of_ident : ident -> string
val iob_ident : ident GuaCaml.BTools.iob
val string_of_next' : next' -> string
val iob_next' : next' GuaCaml.BTools.iob
val string_of_edge' : edge' -> string
val iob_edge' : edge' GuaCaml.BTools.iob
val o3b_edge' : edge' GuaCaml.BTools.IoB.b
val string_of_node' : node' -> string
val iob_node' : node' GuaCaml.BTools.iob
val o3b_node' : node' GuaCaml.BTools.IoB.b
val dump : manager -> edge' list -> GuaCaml.Tree.stree
val load : GuaCaml.Tree.stree -> manager * edge' list
val copy_into : manager -> manager -> edge' -> edge'
val copy_list_into : manager -> manager -> edge' list -> edge' list
val traverse : manager -> edge' -> bool
type !'lk bw_next' = 'lk GuaCaml.BTools.bw -> 'lk M.next' GuaCaml.BTools.bw
type !'lk bw_node' = 'lk GuaCaml.BTools.bw -> 'lk M.node' GuaCaml.BTools.bw
type !'lk bw_edge' = 'lk GuaCaml.BTools.bw -> 'lk M.edge' GuaCaml.BTools.bw
val bw_node_list : ident bw_node' -> manager -> ident list GuaCaml.BTools.bw
val bw_edge_list : ident bw_node' -> ident bw_edge' -> manager -> edge' list GuaCaml.BTools.bw
type !'lk br_next' = 'lk GuaCaml.BTools.br -> 'lk M.next' GuaCaml.BTools.br
type !'lk br_node' = 'lk GuaCaml.BTools.br -> 'lk M.node' GuaCaml.BTools.br
type !'lk br_edge' = 'lk GuaCaml.BTools.br -> 'lk M.edge' GuaCaml.BTools.br
val br_node_list : ident br_node' -> manager -> ident list GuaCaml.BTools.br
val br_edge_list : ident br_node' -> ident br_edge' -> manager -> edge' list GuaCaml.BTools.br
type !'lk bre_node' = 'lk M.edge' GuaCaml.BTools.br -> ('lk M.node' -> 'lk) -> 'lk M.edge' GuaCaml.BTools.br
type !'lk bre_edge' = 'lk M.edge' GuaCaml.BTools.br -> 'lk M.edge' GuaCaml.BTools.br
val bre_node_list : ident bre_node' -> manager -> edge' list GuaCaml.BTools.br
val bre_edge_list : ident bre_node' -> ident bre_edge' -> manager -> edge' list GuaCaml.BTools.br
val export : manager -> ((ident -> 'res) -> ident -> 'res) -> ((unit -> 'res) M.node' -> 'res) -> ident -> 'res
val combine_layerized_file : ?normalize:bool -> in_channel array -> out_channel -> unit
module ToF : sig ... end
module OfF : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct