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