T (infer.Absint.AbstractInterpreter.MakeDisjunctive.T)

module CFG : ProcCfg.S

module DisjDomain : AbstractDomain.Disjunct

module NonDisjDomain : AbstractDomain.WithBottomTop

type analysis_data

val exec_instr : 
  limit:int ->
  (DisjDomain.t * NonDisjDomain.t) ->
  analysis_data ->
  CFG.Node.t ->
  IR.Sil.instr ->
  DisjDomain.t list * NonDisjDomain.t

val exec_instr_non_disj : 
  NonDisjDomain.t ->
  analysis_data ->
  CFG.Node.t ->
  IR.Sil.instr ->
  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

val pp_non_disj : 
  IStdlib.Pp.print_kind ->
  Stdlib.Format.formatter ->
  NonDisjDomain.t ->
  unit