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