val join : ('a -> 'b -> 'c) -> 'd -> 'e list -> 'f listval widen : (E.t -> E.t -> 'a) -> E.t -> E.t list -> 'b listval meet : ('a -> 'b -> 'c) -> 'd -> 'e list -> 'f listval merge_element :
(E.t -> 'a list -> 'a list) ->
E.t ->
'a list Map.t ->
'a list Map.t