Module `ClosuresSubstitution.TransferFunctions`

module CFG = CFG

module Domain = Domain

type analysis_data = unit

val exec_instr : Domain.t -> 'a -> 'b -> 'c -> IR.Sil.instr -> Domain.t
val pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit