module ForwardScope: 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
include State
val transfer_stmt : Cil_types.stmt -> Datascope.State.t -> (Cil_types.stmt * Datascope.State.t) list
Cil_types.stmt -> Datascope.State.t -> (Cil_types.stmt * Datascope.State.t) list