module Evaluation: sig
.. end
Generic evaluation and reduction of expressions and left values.
module type S = sig
.. end
module type Value = sig
.. end
module type Queries = sig
.. end
module Make: functor (
Value
:
Value
) ->
functor (
Loc
:
Abstract_location.S
with type value = Value.t
) ->
functor (
Domain
:
Queries
with type value = Value.t
and type location = Loc.location
) ->
S
with type state = Domain.state
and type value = Value.t
and type origin = Domain.origin
and type loc = Loc.location