module BackwardScope: functor (X : sig val modified : Cil_types.stmt -> boolend) -> sig .. end
functor (
X
:
sig
val modified : Cil_types.stmt -> bool
Cil_types.stmt -> bool
end
) ->
sig val modified : stmt -> bool end
val name : string
string
val debug : bool
bool
val transfer_stmt : Cil_types.stmt -> Datascope.State.t -> Datascope.State.t
Cil_types.stmt -> Datascope.State.t -> Datascope.State.t
include State