package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module ToS : sig ... end
module ToSTree : sig ... end
module OfSTree : sig ... end
module ToBStream : sig ... end
module OfBStream : sig ... end
module ToB : sig ... end
module OfB : sig ... end
module IoB : sig ... end
val aatree_normalized : 'a Tree.aatree -> bool
val aatrees_normalized : 'a Tree.aatrees -> bool
val aatree_normalize : 'a Tree.aatree -> ('a, 'a) Tree.atree
val aatrees_normalize : 'a Tree.aatrees -> ('a, 'a) Tree.atree list
val aatree_of_ialist_insert : (int * 'a) -> (int * 'a Tree.aatree) list -> (int * 'a Tree.aatree) list
val aatree_of_ialist : (int * 'a) list -> 'a Tree.aatrees
val unGLeaf : ('a, 'b) Tree.gnext -> 'a
val ungnext : ('a, 'a) Tree.gnext -> 'a
val filterGLeaf : ('a, 'b) Tree.gnext list -> 'a list
val filterGLeaf_array : ('a, 'b) Tree.gnext array -> 'a list