Module Fixpoint.Region_analysis

include module type of Region_analysis_sig

type 'node edge =

1. | Edge of 'node * 'node
2. | Exit of 'node

module type NODE = sig ... end

module Make (N : NODE) : sig ... end