Module Core.Region_analysis_stmt

module MakeNode (M : sig ... end) : Codex.Fixpoint.Region_analysis.NODE with type abstract_value = M.abstract_value and type node = Frama_c_kernel.Cil_types.stmt