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