Functor Eval.Clear_Valuation

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

val clear_expr : Eval.Valuation.t -> Cil_types.exp -> Eval.Valuation.t