Module Subdivided_evaluation

module Subdivided_evaluation: sig .. end

Subdivision of the evaluation on non-linear expressions: for expressions in which some l-values appear multiple times, proceed by disjunction on their abstract value, in order to gain precision.

module type Forward_Evaluation = sig .. end

module Make: functor (Value : Abstract_value.External) -> functor (Loc : Abstract_location.S  with type value = Value.t) -> functor (Valuation : Eval.Valuation  with type value = Value.t
                                and type loc = Loc.location) -> functor (Eva : Forward_Evaluation  with type value := Value.t
                              and type valuation := Valuation.t) -> sig .. end