Eval.Clear_Valuation
module Valuation : Valuation
val clear_englobing_exprs : Valuation.t -> expr:exp -> subexpr:exp -> Valuation.t
Removes from the valuation all the subexpressions of expr that contain subexpr, except subexpr itself.
expr
subexpr