B (p.goblint.2.6.0.doc.goblint.domain.HoareDomain.HoarePO.B)

Sourceval join : ('a -> 'a -> 'a) -> 'a -> 'a list -> 'a list

Sourceval widen : (E.t -> E.t -> 'a) -> E.t -> E.t list -> 'a list

Sourceval meet : ('a -> 'b -> 'c) -> 'a -> 'b list -> 'c list

val merge_element : 
  (E.t -> 'a list -> 'a list) ->
  E.t ->
  'a list Map.t ->
  'a list Map.t