include Tezos_error_monad.TzLwtreslib.Set.S with type elt := t
val disjoint : t -> t -> boolval compare : t -> t -> intval equal : t -> t -> boolval subset : t -> t -> boolval iter : (t -> unit) -> t -> unitval iter_e :
(t -> (unit, 'trace) Stdlib.result) ->
t ->
(unit, 'trace) Stdlib.resultval iter_s : (t -> unit Lwt.t) -> t -> unit Lwt.tval iter_p : (t -> unit Lwt.t) -> t -> unit Lwt.tval iter_es :
(t -> (unit, 'trace) Stdlib.result Lwt.t) ->
t ->
(unit, 'trace) Stdlib.result Lwt.tval map : (t -> t) -> t -> tval fold : (t -> 'a -> 'a) -> t -> 'a -> 'aval fold_e :
(t -> 'a -> ('a, 'trace) Stdlib.result) ->
t ->
'a ->
('a, 'trace) Stdlib.resultval fold_s : (t -> 'a -> 'a Lwt.t) -> t -> 'a -> 'a Lwt.tval fold_es :
(t -> 'a -> ('a, 'trace) Stdlib.result Lwt.t) ->
t ->
'a ->
('a, 'trace) Stdlib.result Lwt.tval for_all : (t -> bool) -> t -> boolval exists : (t -> bool) -> t -> boolval filter : (t -> bool) -> t -> tval filter_map : (t -> t option) -> t -> tval partition : (t -> bool) -> t -> t * tval elements : t -> t listval min_elt : t -> t optionval min_elt_opt : t -> t optionval max_elt : t -> t optionval max_elt_opt : t -> t optionval choose : t -> t optionval choose_opt : t -> t optionval split : t -> t -> t * bool * tval find : t -> t -> t optionval find_opt : t -> t -> t optionval find_first : (t -> bool) -> t -> t optionval find_first_opt : (t -> bool) -> t -> t optionval find_last : (t -> bool) -> t -> t optionval find_last_opt : (t -> bool) -> t -> t optionval of_list : t list -> tval to_seq_from : t -> t -> t Stdlib.Seq.tval to_seq : t -> t Stdlib.Seq.tval to_rev_seq : t -> t Stdlib.Seq.tval add_seq : t Stdlib.Seq.t -> t -> tval of_seq : t Stdlib.Seq.t -> t