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