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