Module `Set.Merge_to_sequence_element`Source

Produces the elements of the two sets between greater_or_equal_to and less_or_equal_to in order, noting whether each element appears in the left set, the right set, or both. In the both case, both elements are returned, in case the caller can distinguish between elements that are equal to the sets' comparator. Runs in O(length t + length t').

Sourcetype ('a, 'b) t = ('a, 'b) Base.Sequence.Merge_with_duplicates_element.t =

| Left of 'a
| Right of 'b
| Both of 'a * 'b

Source

val compare : 
  ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) Base.Set.Merge_to_sequence_element.t ->
  ('a, 'b) Base.Set.Merge_to_sequence_element.t ->
  int

include Sexplib0.Sexpable.S2
  with type ('a, 'b) t := ('a, 'b) Base.Set.Merge_to_sequence_element.t

Source

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) Base.Set.Merge_to_sequence_element.t

Source

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) Base.Set.Merge_to_sequence_element.t ->
  Sexplib0.Sexp.t

Module Set.Merge_to_sequence_elementSource

Module `Set.Merge_to_sequence_element`Source