Parameter MakeDisjunctive.1-T
module Domain : AbstractDomain.NoJoinval exec_instr : Domain.t -> analysis_data -> CFG.Node.t -> IR.Sil.instr -> Domain.t listval pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit
MakeDisjunctive.1-Tmodule Domain : AbstractDomain.NoJoinval exec_instr : Domain.t -> analysis_data -> CFG.Node.t -> IR.Sil.instr -> Domain.t listval pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit