Module Sf.Raw

val empty : tree
val is_empty : tree -> bool
val mem : Eqtype.Equality.sort -> tree -> bool
val min_elt : tree -> elt option
val max_elt : tree -> elt option
val choose : tree -> elt option
val fold : (elt -> 'a1 -> 'a1) -> tree -> 'a1 -> 'a1
val elements_aux : Eqtype.Equality.sort list -> tree -> Eqtype.Equality.sort list
val elements : tree -> Eqtype.Equality.sort list
val rev_elements_aux : Eqtype.Equality.sort list -> tree -> Eqtype.Equality.sort list
val rev_elements : tree -> Eqtype.Equality.sort list
val cardinal : tree -> Datatypes.nat
val maxdepth : tree -> Datatypes.nat
val mindepth : tree -> Datatypes.nat
val for_all : (elt -> bool) -> tree -> bool
val exists_ : (elt -> bool) -> tree -> bool
type enumeration = TFunName.St.Raw.enumeration =
  1. | End
  2. | More of elt * tree * enumeration
val cons : tree -> enumeration -> enumeration
val compare_end : enumeration -> Datatypes.comparison
val compare : tree -> tree -> Datatypes.comparison
val equal : tree -> tree -> bool
val subsetl : (tree -> bool) -> Eqtype.Equality.sort -> tree -> bool
val subsetr : (tree -> bool) -> Eqtype.Equality.sort -> tree -> bool
val subset : tree -> tree -> bool
type t = tree
val height : t -> Int.Z_as_Int.t
val singleton : Eqtype.Equality.sort -> tree
val create : t -> Eqtype.Equality.sort -> t -> tree
val assert_false : t -> Eqtype.Equality.sort -> t -> tree
val bal : t -> Eqtype.Equality.sort -> t -> tree
val join : tree -> elt -> t -> t
val remove_min : tree -> elt -> t -> t * elt
val merge : tree -> tree -> tree
val remove : Eqtype.Equality.sort -> tree -> tree
val concat : tree -> tree -> tree
type triple = TFunName.St.Raw.triple = {
  1. t_left : t;
  2. t_in : bool;
  3. t_right : t;
}
val t_left : triple -> t
val t_in : triple -> bool
val t_right : triple -> t
val split : Eqtype.Equality.sort -> tree -> triple
val inter : tree -> tree -> tree
val diff : tree -> tree -> tree
val union : tree -> tree -> tree
val filter : (elt -> bool) -> tree -> tree
val partition : (elt -> bool) -> t -> t * t
val ltb_tree : Eqtype.Equality.sort -> tree -> bool
val gtb_tree : Eqtype.Equality.sort -> tree -> bool
val isok : tree -> bool
module MX : sig ... end
module L : sig ... end
val flatten_e : enumeration -> elt list