Module type Abstractions.Eva

module type Eva = sig .. end
The three abstractions plus an evaluation engine for these abstractions.

include Abstractions.S
module Eval: Evaluation.S  with type state = Dom.t
                             and type value = Val.t
                             and type loc = Loc.location
                             and type origin = Dom.origin