Functor Datascope.ForwardScope

module ForwardScope: 
functor (X : sig
val modified : Cil_types.stmt -> bool
end) -> sig .. end
Parameters:
X : sig val modified : stmt -> bool end

include State
val transfer_stmt : Cil_types.stmt ->
Datascope.State.t -> (Cil_types.stmt * Datascope.State.t) list