module Int64: BatInt64typet =int64
val zero : int64val one : int64val minus_one : int64val neg : int64 -> int64val add : int64 -> int64 -> int64val sub : int64 -> int64 -> int64val mul : int64 -> int64 -> int64val div : int64 -> int64 -> int64Pervasives.(/).Division_by_zero if the second argument is zero.val rem : int64 -> int64 -> int64y is not zero, the result
of Int64.rem x y satisfies the following property:
x = Int64.add (Int64.mul (Int64.div x y) y) (Int64.rem x y).Division_by_zero if the second argument is zero.val succ : int64 -> int64Int64.succ x is Int64.add x Int64.one.val pred : int64 -> int64Int64.pred x is Int64.sub x Int64.one.val abs : int64 -> int64val max_int : int64val min_int : int64val logand : int64 -> int64 -> int64val logor : int64 -> int64 -> int64val logxor : int64 -> int64 -> int64val lognot : int64 -> int64val shift_left : int64 -> int -> int64Int64.shift_left x y shifts x to the left by y bits.
The result is unspecified if y < 0 or y >= 64.val shift_right : int64 -> int -> int64Int64.shift_right x y shifts x to the right by y bits.
This is an arithmetic shift: the sign bit of x is replicated
and inserted in the vacated bits.
The result is unspecified if y < 0 or y >= 64.val shift_right_logical : int64 -> int -> int64Int64.shift_right_logical x y shifts x to the right by y bits.
This is a logical shift: zeroes are inserted in the vacated bits
regardless of the sign of x.
The result is unspecified if y < 0 or y >= 64.val (--) : t -> t -> t BatEnum.t
5L -- 10L is the enumeration 5L,6L,7L,8L,9L,10L.
10L -- 5L is the empty enumeration
val (---) : t -> t -> t BatEnum.t
5L -- 10L is the enumeration 5L,6L,7L,8L,9L,10L.
10L -- 5L is the enumeration 10L,9L,8L,7L,6L,5L.
val of_int : int -> int64int) to a 64-bit integer
(type int64).val to_int : int64 -> intint64) to an
integer (type int). On 64-bit platforms, the 64-bit integer
is taken modulo 263, i.e. the high-order bit is lost
during the conversion. On 32-bit platforms, the 64-bit integer
is taken modulo 231, i.e. the top 33 bits are lost
during the conversion.val of_float : float -> int64Int64.min_int, Int64.max_int].val to_float : int64 -> floatval of_int32 : int32 -> int64int32)
to a 64-bit integer (type int64).val to_int32 : int64 -> int32int64) to a
32-bit integer (type int32). The 64-bit integer
is taken modulo 232, i.e. the top 32 bits are lost
during the conversion.val of_nativeint : nativeint -> int64nativeint)
to a 64-bit integer (type int64).val to_nativeint : int64 -> nativeintint64) to a
native integer. On 32-bit platforms, the 64-bit integer
is taken modulo 232. On 64-bit platforms,
the conversion is exact.val of_string : string -> int640x, 0o or 0b
respectively.Failure if the given string is not
a valid representation of an integer, or if the integer represented
exceeds the range of integers representable in type int64.val to_string : int64 -> stringval bits_of_float : float -> int64val float_of_bits : int64 -> floatint64.val compare : t -> t -> intPervasives.compare. Along with the type t, this function compare
allows the module Int64 to be passed as argument to the functors
Set.Make and Map.Make.val equal : t -> t -> boolHashedType.val ord : t -> t -> BatOrd.ordermodule Infix:BatNumber.Infixwith type bat__infix_t = t
module Compare:BatNumber.Comparewith type bat__compare_t = t
val modulo : int64 -> int64 -> int64
val pow : int64 -> int64 -> int64
val (+) : t -> t -> t
val (-) : t -> t -> t
val ( * ) : t -> t -> t
val (/) : t -> t -> t
val ( ** ) : t -> t -> t
val operations : t BatNumber.numericval print : 'a BatInnerIO.output -> t -> unitval print_hex : 'a BatInnerIO.output -> t -> unit