Source file logtk_arith.ml

# 1 "src/core/arith/logtk_arith.zarith.ml"

module Z = struct
  include Z
  let to_int_exn = to_int
end
module Q = struct
  include Q
end