Module Region_analysis

module Region_analysis: sig .. end

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