module Clear_Valuation: functor (Valuation : Valuation) -> sig .. end
functor (
Valuation
:
) ->
sig
end
val clear_englobing_exprs : Eval.Valuation.t -> expr:Cil_types.exp -> subexpr:Cil_types.exp -> Eval.Valuation.t
Eval.Valuation.t -> expr:Cil_types.exp -> subexpr:Cil_types.exp -> Eval.Valuation.t
expr
subexpr