Functor Call.WithPrePost


module WithPrePost: 
functor (W : T_for_call) -> sig .. end
Parameters:
W : T_for_call

include W
val call : (Db_types.kernel_function ->
Cil_types.predicate Cil_types.named list *
Cil_types.predicate Cil_types.named list *
Cil_types.identified_term Cil_types.assigns list) ->
Cil_types.lval option -> Cil_types.exp -> Cil_types.exp list -> W.t -> W.t
Process call using pre/post and outputs