jon.recoil.org

Module Map.Symmetric_diff_elementSource

Sourcetype ('k, 'v) t = 'k * [ `Left of 'v | `Right of 'v | `Unequal of 'v * 'v ]
include sig ... end
include Ppx_compare_lib.Comparable.S2 with type ('k, 'v) t := ('k, 'v) Core.Map.Symmetric_diff_element.t
Sourceval compare : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) Core.Map.Symmetric_diff_element.t -> ('a, 'b) Core.Map.Symmetric_diff_element.t -> int
Sourceval map_data : ('k, 'v1) Core.Map.Symmetric_diff_element.t -> f:('v1 -> 'v2) -> ('k, 'v2) Core.Map.Symmetric_diff_element.t

left is defined as:

 function
  | (`Left x | `Unequal (x, _)) -> Some x
  | `Right _ -> None

and right is similar.