sig
  type t
  type uint64 = Uint64.t
  val zero : Uint64.uint64
  val one : Uint64.uint64
  val add : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val sub : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val mul : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val div : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val rem : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val succ : Uint64.uint64 -> Uint64.uint64
  val pred : Uint64.uint64 -> Uint64.uint64
  val max_int : Uint64.uint64
  val min_int : Uint64.uint64
  val logand : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val logor : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val logxor : Uint64.uint64 -> Uint64.uint64 -> Uint64.uint64
  val lognot : Uint64.uint64 -> Uint64.uint64
  val shift_left : Uint64.uint64 -> int -> Uint64.uint64
  val shift_right : Uint64.uint64 -> int -> Uint64.uint64
  val of_int : int -> Uint64.uint64
  val to_int : Uint64.uint64 -> int
  val of_float : float -> Uint64.uint64
  val to_float : Uint64.uint64 -> float
  val of_int32 : int32 -> Uint64.uint64
  val to_int32 : Uint64.uint64 -> int32
  val of_nativeint : nativeint -> Uint64.uint64
  val to_nativeint : Uint64.uint64 -> nativeint
  val of_int64 : int64 -> Uint64.uint64
  val to_int64 : Uint64.uint64 -> int64
  val of_string : string -> Uint64.uint64
  val to_string : Uint64.uint64 -> string
  val to_string_bin : Uint64.uint64 -> string
  val to_string_oct : Uint64.uint64 -> string
  val to_string_hex : Uint64.uint64 -> string
  val bits_of_float : float -> Uint64.uint64
  val float_of_bits : Uint64.uint64 -> float
  val compare : Uint64.t -> Uint64.t -> int
  val printer : Format.formatter -> Uint64.uint64 -> unit
  val printer_bin : Format.formatter -> Uint64.uint64 -> unit
  val printer_oct : Format.formatter -> Uint64.uint64 -> unit
  val printer_hex : Format.formatter -> Uint64.uint64 -> unit
end