PulseJoin (infer.Pulselib.PulseJoin)

module AbductiveDomain = PulseAbductiveDomain

module PathContext = PulsePathContext

val join : 
  (AbductiveDomain.t * PathContext.t) ->
  (AbductiveDomain.t * PathContext.t) ->
  AbductiveDomain.t * PathContext.t

val join_summaries : 
  AbductiveDomain.Summary.t ->
  AbductiveDomain.Summary.t ->
  AbductiveDomain.Summary.t