Module Region_analysis

module Region_analysis: sig .. end

include Region_analysis_sig
module Make: 
functor (N : Node-> sig .. end