Value.Record_Value_After_Callbacks
type param = callstack * state Cil_datatype.Stmt.Hashtbl.t Stdlib.Lazy.t
Type of the parameter of the functions registered in the hook.
Type of the result of the functions. result can be unit (for iterative hooks) or param (for folding hooks)
Same as extend
, but the hook is added only if it is not already present; the comparison is made using (==)
Apply all the functions of the hook on the given parameter. These functions are applied from the least recently entered to the most recently entered.