package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type leaf = int option
type edge = bool
type node = snax
val string_of_leaf : int option GuaCaml.STools.ToS.t
val string_of_edge : bool GuaCaml.STools.ToS.t
val string_of_node : snax -> string
val iob_leaf : int option GuaCaml.BTools.IoB.t
val iob_edge : bool GuaCaml.BTools.IoB.t
val iob_node : (snax -> GuaCaml.BTools.ToB.stream -> bool list) * (bool list -> snax * GuaCaml.BTools.OfB.stream)
type !'i next' = (leaf, 'i) GuaCaml.Tree.gnext
type !'i edge' = edge * 'i next'
type !'i node' = node * 'i edge' * 'i edge'
val iob_node' : ('a GuaCaml.BTools.ToB.t * 'a GuaCaml.BTools.OfB.t) -> (snax * (bool * (int option, 'a) GuaCaml.Tree.gnext) * (bool * (int option, 'a) GuaCaml.Tree.gnext), GuaCaml.BTools.ToB.stream) GuaCaml.O3.o3s
val __check_reverse__ : bool