functor (Valuation : Valuation) -> sig val clear_expr : Eval.Valuation.t -> Cil_types.exp -> Eval.Valuation.t end