package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type leaf = Model.M.M.M.leaf
type edge = Model.M.M.M.edge
type node = unit
val string_of_leaf : leaf -> string
val string_of_edge : edge -> string
val string_of_node : node -> string
type !'i next' = (leaf, 'i) GuaCaml.Tree.gnext
type !'i edge' = edge * 'i next'
type !'i node' = node * 'i edge' * 'i edge'
val iob_leaf : leaf GuaCaml.BTools.iob
val iob_edge : edge GuaCaml.BTools.iob
val iob_node : node GuaCaml.BTools.iob
val arity_node : 'i node' -> int
val arity_edge : 'i edge' -> int
val toba_node' : 'i GuaCaml.BTools.tob -> 'i node' GuaCaml.BTools.tob
val ofba_node' : int -> (int -> 'i GuaCaml.BTools.ofb) -> 'i node' GuaCaml.BTools.ofb
val __check_reverse__ : bool