Module Map.Merge_elementSource
Sourcetype ('left, 'right) t = [ | `Left of 'left| `Right of 'right| `Both of 'left * 'right
] Sourceval compare :
('left -> 'left -> int) ->
('right -> 'right -> int) ->
('left, 'right) t ->
('left, 'right) t ->
int Sourceval equal :
('left -> 'left -> bool) ->
('right -> 'right -> bool) ->
('left, 'right) t ->
('left, 'right) t ->
bool Sourceval left : ('left, _) t -> 'left option Sourceval right : (_, 'right) t -> 'right option Sourceval left_value : ('left, _) t -> default:'left -> 'left Sourceval right_value : (_, 'right) t -> default:'right -> 'right Sourceval values :
('left, 'right) t ->
left_default:'left ->
right_default:'right ->
'left * 'right