include Hsim
include Ztypes

module type IGNORE = sig end
module Defaultsolver : IGNORE = struct end

module Zlsrun = struct
  module Make (S : IGNORE) = Runtime
end