Source file logtk_arith.ml

1
2
3
4
5
6
7
8
9
# 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