ConfigGating.TransferFunctions
module CFG : sig ... end
module Domain = Domain
type analysis_data = unit
val exec_instr : Domain.t -> unit -> 'a -> 'b -> IR.Sil.instr -> Domain.t
val pp_session_name : 'a -> F.formatter -> unit