sig
  type 'a elt_
  type 'a set
  type ('a, 'b) result_
  val empty : 'a Reins.Sets.Set_.set
  val is_empty : 'a Reins.Sets.Set_.set -> bool
  val mem :
    'a Reins.Sets.Set_.elt_ ->
    'a Reins.Sets.Set_.set -> (bool, 'a) Reins.Sets.Set_.result_
  val add :
    'a Reins.Sets.Set_.elt_ ->
    'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.set
  val singleton : 'a Reins.Sets.Set_.elt_ -> 'a Reins.Sets.Set_.set
  val remove :
    'a Reins.Sets.Set_.elt_ ->
    'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.set
  val min_elt :
    'a Reins.Sets.Set_.set ->
    ('a Reins.Sets.Set_.elt_, 'a) Reins.Sets.Set_.result_
  val max_elt :
    'a Reins.Sets.Set_.set ->
    ('a Reins.Sets.Set_.elt_, 'a) Reins.Sets.Set_.result_
  val choose :
    'a Reins.Sets.Set_.set ->
    ('a Reins.Sets.Set_.elt_, 'a) Reins.Sets.Set_.result_
  val cardinal : 'a Reins.Sets.Set_.set -> int
  val compare : 'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.set -> int
  val equal : 'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.set -> bool
  val iter :
    ('a Reins.Sets.Set_.elt_ -> unit) -> 'a Reins.Sets.Set_.set -> unit
  val fold :
    ('a -> 'b Reins.Sets.Set_.elt_ -> 'a) ->
    'a -> 'b Reins.Sets.Set_.set -> 'a
  val union :
    'a Reins.Sets.Set_.set ->
    'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.set
  val inter :
    'a Reins.Sets.Set_.set ->
    'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.set
  val diff :
    'a Reins.Sets.Set_.set ->
    'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.set
  val gen1 :
    (?size:int -> Random.State.t -> 'a Reins.Sets.Set_.elt_) ->
    ?size:int -> Random.State.t -> 'a Reins.Sets.Set_.set
  val well_formed : 'a Reins.Sets.Set_.set -> bool
  val of_result : ('a, 'b) Reins.Sets.Set_.result_ -> 'a
  type 'a cursor_
  val to_cursor : 'a Reins.Sets.Set_.set -> 'a Reins.Sets.Set_.cursor_
  val from_cursor : 'a Reins.Sets.Set_.cursor_ -> 'a Reins.Sets.Set_.set
  val at_top : 'a Reins.Sets.Set_.cursor_ -> bool
  val at_left : 'a Reins.Sets.Set_.cursor_ -> bool
  val at_right : 'a Reins.Sets.Set_.cursor_ -> bool
  val move_up : 'a Reins.Sets.Set_.cursor_ -> 'a Reins.Sets.Set_.cursor_
  val move_down_left :
    'a Reins.Sets.Set_.cursor_ -> 'a Reins.Sets.Set_.cursor_
  val move_down_right :
    'a Reins.Sets.Set_.cursor_ -> 'a Reins.Sets.Set_.cursor_
  val went_left : 'a Reins.Sets.Set_.cursor_ -> bool
  val went_right : 'a Reins.Sets.Set_.cursor_ -> bool
  val has_value : 'a Reins.Sets.Set_.cursor_ -> bool
  val get_value : 'a Reins.Sets.Set_.cursor_ -> 'a Reins.Sets.Set_.elt_
end