functor (T : Sets.Set_) ->
  sig
    type ordering = PreOrder | InOrder | PostOrder
    type direction_ = Ascending of ordering | Descending of ordering
    type 'a t
    type 'a elt = 'a T.elt_
    type 'a cursor = 'a T.cursor_
    type 'a collection = 'a T.set
    type direction = direction_
    type 'a traversal =
        Traverse_All
      | Traverse_If of ('a -> bool)
      | Traverse_While of ('a -> bool)
    val create : direction -> 'a elt traversal -> 'a collection -> 'a t
    val from_cursor : direction -> 'a elt traversal -> 'a cursor -> 'a t
    val value : 'a t -> 'a elt option
    val get_value : 'a t -> 'a elt
    val at_end : 'a t -> bool
    val at_beg : 'a t -> bool
    val has_next : 'a t -> bool
    val next : 'a t -> 'a t
    val has_prev : 'a t -> bool
    val prev : 'a t -> 'a t
    val goto_beg : 'a t -> 'a t
    val goto_end : 'a t -> 'a t
    val flip : 'a t -> 'a t
    val iter : ('a elt -> unit) -> 'a t -> unit
    val fold : ('a -> 'b elt -> 'a) -> 'a -> 'b t -> 'a
  end