Module Kind2Flow

module Kind2Flow: sig .. end
Runs the analyses produced by the strategy module.

val run : 'a InputSystem.t -> unit