module Simple_forward: functor (Fenv : FUNCTION_ENV) -> functor (P : FORWARD_MONOTONE_PARAMETER) -> sig .. end
functor (
Fenv
:
FUNCTION_ENV
) ->
P
FORWARD_MONOTONE_PARAMETER
sig
end
val before : P.t Ordered_stmt.ordered_stmt_array
P.t Ordered_stmt.ordered_stmt_array
val fold_on_result : ('a -> Cil_types.stmt -> P.t -> 'a) -> 'a -> 'a
('a -> Cil_types.stmt -> P.t -> 'a) -> 'a -> 'a
val iter_on_result : (Cil_types.stmt -> P.t -> unit) -> unit
(Cil_types.stmt -> P.t -> unit) -> unit