module ToS : sig ... endmodule ToSTree : sig ... endmodule OfSTree : sig ... endmodule ToBStream : sig ... endmodule OfBStream : sig ... endmodule ToB : sig ... endmodule OfB : sig ... endmodule IoB : sig ... endval aatree_normalized : 'a Tree.aatree -> boolval aatrees_normalized : 'a Tree.aatrees -> boolval aatree_normalize : 'a Tree.aatree -> ('a, 'a) Tree.atreeval aatrees_normalize : 'a Tree.aatrees -> ('a, 'a) Tree.atree listval aatree_of_ialist_insert :
(int * 'a) ->
(int * 'a Tree.aatree) list ->
(int * 'a Tree.aatree) listval aatree_of_ialist : (int * 'a) list -> 'a Tree.aatreesval unGLeaf : ('a, 'b) Tree.gnext -> 'aval unGLink : ('a, 'b) Tree.gnext -> 'bval ungnext : ('a, 'a) Tree.gnext -> 'aval filterGLeaf : ('a, 'b) Tree.gnext list -> 'a listval filterGLink : ('a, 'b) Tree.gnext list -> 'b listval filterGLeaf_array : ('a, 'b) Tree.gnext array -> 'a listval filterGLink_array : ('a, 'b) Tree.gnext array -> 'b list