Reason · Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.

sig
 val zero : int64
 val one : int64
 val minus_one : int64
 external neg : int64 -> int64 = "%int64_neg"
 external add : int64 -> int64 -> int64 = "%int64_add"
 external sub : int64 -> int64 -> int64 = "%int64_sub"
 external mul : int64 -> int64 -> int64 = "%int64_mul"
 external div : int64 -> int64 -> int64 = "%int64_div"
 val unsigned_div : int64 -> int64 -> int64
 external rem : int64 -> int64 -> int64 = "%int64_mod"
 val unsigned_rem : int64 -> int64 -> int64
 val succ : int64 -> int64
 val pred : int64 -> int64
 val abs : int64 -> int64
 val max_int : int64
 val min_int : int64
 external logand : int64 -> int64 -> int64 = "%int64_and"
 external logor : int64 -> int64 -> int64 = "%int64_or"
 external logxor : int64 -> int64 -> int64 = "%int64_xor"
 val lognot : int64 -> int64
 external shift_left : int64 -> int -> int64 = "%int64_lsl"
 external shift_right : int64 -> int -> int64 = "%int64_asr"
 external shift_right_logical : int64 -> int -> int64 = "%int64_lsr"
 external of_int : int -> int64 = "%int64_of_int"
 external to_int : int64 -> int = "%int64_to_int"
 val unsigned_to_int : int64 -> int option
 external of_float : float -> int64 = "caml_int64_of_float"
  "caml_int64_of_float_unboxed" [@@unboxed] [@@noalloc]
 external to_float : int64 -> float = "caml_int64_to_float"
  "caml_int64_to_float_unboxed" [@@unboxed] [@@noalloc]
 external of_int32 : int32 -> int64 = "%int64_of_int32"
 external to_int32 : int64 -> int32 = "%int64_to_int32"
 external of_nativeint : nativeint -> int64 = "%int64_of_nativeint"
 external to_nativeint : int64 -> nativeint = "%int64_to_nativeint"
 external of_string : string -> int64 = "caml_int64_of_string"
 val of_string_opt : string -> int64 option
 val to_string : int64 -> string
 external bits_of_float : float -> int64 = "caml_int64_bits_of_float"
  "caml_int64_bits_of_float_unboxed" [@@unboxed] [@@noalloc]
 external float_of_bits : int64 -> float = "caml_int64_float_of_bits"
  "caml_int64_float_of_bits_unboxed" [@@unboxed] [@@noalloc]
 type t = int64
 val compare : Int64.t -> Int64.t -> int
 val unsigned_compare : Int64.t -> Int64.t -> int
 val equal : Int64.t -> Int64.t -> bool
 val min : Int64.t -> Int64.t -> Int64.t
 val max : Int64.t -> Int64.t -> Int64.t
end