Module type Dataflows.FUNCTION_ENV

Environment relative to the function being processed, and function to create them from Kf.

val connected_component : Ordered_stmt.ordered_stmt -> int
val nb_stmts : int