Module Region_analysis_sig

module Region_analysis_sig: sig .. end

type 'node edge = 
| Edge of 'node * 'node
| Exit of 'node
module type Node = sig .. end