package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type leaf = ThisT.leaf
type edge = ThisT.edge
type node = ThisT.node
val string_of_leaf : int GuaCaml.STools.ToS.t
val string_of_edge : (int * bool * (Ldd_B_o_nucx_types.tag * int) list) GuaCaml.STools.ToS.t
val string_of_node : unit GuaCaml.STools.ToS.t
type !'i next' = (leaf, 'i) GuaCaml.Tree.gnext
type !'i edge' = edge * 'i next'
type !'i node' = node * 'i edge' * 'i edge'
val iob_edge : (int * bool * (Ldd_B_o_nucx_types.tag * int) list) GuaCaml.BTools.ToB.t * (int * bool * (Ldd_B_o_nucx_types.tag * int) list) GuaCaml.BTools.OfB.t
val iob_node : unit GuaCaml.BTools.ToB.t * unit GuaCaml.BTools.OfB.t
val iob_edge' : ('a GuaCaml.BTools.ToB.t * 'b GuaCaml.BTools.OfB.t) -> ((int * bool * (Ldd_B_o_nucx_types.tag * int) list) * (int, 'a) GuaCaml.Tree.gnext) GuaCaml.BTools.ToB.t * ((int * bool * (Ldd_B_o_nucx_types.tag * int) list) * (int, 'b) GuaCaml.Tree.gnext) GuaCaml.BTools.OfB.t
val iob_node' : ('a GuaCaml.BTools.ToB.t * 'b GuaCaml.BTools.OfB.t) -> (unit * ((int * bool * (Ldd_B_o_nucx_types.tag * int) list) * (int, 'a) GuaCaml.Tree.gnext) * ((int * bool * (Ldd_B_o_nucx_types.tag * int) list) * (int, 'a) GuaCaml.Tree.gnext)) GuaCaml.BTools.ToB.t * (unit * ((int * bool * (Ldd_B_o_nucx_types.tag * int) list) * (int, 'b) GuaCaml.Tree.gnext) * ((int * bool * (Ldd_B_o_nucx_types.tag * int) list) * (int, 'b) GuaCaml.Tree.gnext)) GuaCaml.BTools.OfB.t
val arity_node : (unit * 'a Ldd_B_o_nucx_types.edge' * 'b Ldd_B_o_nucx_types.edge') -> int
val arity_edge : 'a Ldd_B_o_nucx_types.edge' -> int
val __check_reverse__ : bool