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