Module Fixpoint.Region_analysis_sig

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