package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val tag : Ldd_B_o_uc0_types.tag -> string
val uniq : (int * (Ldd_B_o_uc0_types.tag * int) list) GuaCaml.STools.ToS.t
val pair : (int * (Ldd_B_o_uc0_types.tag * int) list * (Ldd_B_o_uc0_types.tag * int) list) GuaCaml.STools.ToS.t
val leaf : (bool * int) GuaCaml.STools.ToS.t
val edge : (int * (Ldd_B_o_uc0_types.tag * int) list) GuaCaml.STools.ToS.t
val node : unit GuaCaml.STools.ToS.t
val next' : 'a GuaCaml.STools.ToS.t -> (bool * int, 'a) GuaCaml.Tree.gnext -> string
val edge' : 'a GuaCaml.STools.ToS.t -> ((int * (Ldd_B_o_uc0_types.tag * int) list) * (bool * int, 'a) GuaCaml.Tree.gnext) GuaCaml.STools.ToS.t
val node' : 'a GuaCaml.STools.ToS.t -> (unit * ((int * (Ldd_B_o_uc0_types.tag * int) list) * (bool * int, 'a) GuaCaml.Tree.gnext) * ((int * (Ldd_B_o_uc0_types.tag * int) list) * (bool * int, 'a) GuaCaml.Tree.gnext)) GuaCaml.STools.ToS.t