AI_WTO.T
module CFG : sig ... end
module Domain : sig ... end
type analysis_data = WTO.TransferFunctions.analysis_data
val exec_instr :
Domain.t ->
analysis_data ->
CFG.Node.t ->
Absint.ProcCfg.InstrNode.instr_index ->
IR.Sil.instr ->
Domain.t
val pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit