Module Evaluation

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