Functor Datascope.BackwardScope

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

val name : string
val debug : bool
val transfer_stmt : Cil_types.stmt -> Datascope.State.t -> Datascope.State.t
include State