Parameter MakeDisjunctive.1-T

module CFG : Absint.ProcCfg.S
module Domain : Absint.AbstractDomain.NoJoin
type analysis_data
val exec_instr : Domain.t -> analysis_data -> CFG.Node.t -> IR.Sil.instr -> Domain.t list
val pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit