module type Eva = sig .. end
sig
end
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
Evaluation.S
with type state = Dom.t and type value = Val.t and type loc = Loc.location and type origin = Dom.origin