MakeDisjunctive.T
module DisjDomain : AbstractDomain.Disjunct
val exec_instr :
(DisjDomain.t * NonDisjDomain.t) ->
analysis_data ->
CFG.Node.t ->
IR.Sil.instr ->
DisjDomain.t list * NonDisjDomain.t
val remember_dropped_disjuncts :
DisjDomain.t list ->
NonDisjDomain.t ->
NonDisjDomain.t
val pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit
val pp_disjunct :
IStdlib.Pp.print_kind ->
Stdlib.Format.formatter ->
DisjDomain.t ->
unit