Module Kind2Flow

val run : 'a InputSystem.t -> unit

Runs the analyses produced by the strategy module.