Functor Eval.Clear_Valuation

module Clear_Valuation: functor (Valuation : Valuation) -> sig .. end

Parameters:

Valuation : Valuation

val clear_englobing_exprs : Eval.Valuation.t ->
       expr:Cil_types.exp -> subexpr:Cil_types.exp -> Eval.Valuation.t

Removes from the valuation all the subexpressions of expr that contain subexpr, except subexpr itself.