module Subdivided_evaluation:sig
..end
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