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