Module Region_analysis_stmt

module Region_analysis_stmt: sig .. end

module type M = sig .. end
module MakeNode: 
functor (M : M-> Node with type abstract_value = M.abstract_value and type node = stmt