Module type TransferFunctions.DisjReady

module CFG : ProcCfg.S
module Domain : 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