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

Generic functor.