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