Library
Module
Module type
Parameter
Class
Class type
include module type of Core.Int64
include module type of struct include Base.Int64 end
val of_float : float -> t
val to_float : t -> float
val of_int_exn : int -> t
val to_int_exn : t -> int
val validate_positive : t Base__.Validate.check
val validate_non_negative : t Base__.Validate.check
val validate_negative : t Base__.Validate.check
val validate_non_positive : t Base__.Validate.check
val is_positive : t -> bool
val is_non_negative : t -> bool
val is_negative : t -> bool
val is_non_positive : t -> bool
val sign : t -> Base__.Sign0.t
val invariant : t Base__Invariant_intf.inv
val to_string_hum : ?delimiter:char -> t -> string
val zero : t
val one : t
val minus_one : t
val popcount : t -> int
val decr : t Base__.Import.ref -> unit
val incr : t Base__.Import.ref -> unit
val of_int32_exn : int32 -> t
val to_int32_exn : t -> int32
val of_int64_exn : int64 -> t
val to_int64 : t -> int64
val of_nativeint_exn : nativeint -> t
val to_nativeint_exn : t -> nativeint
val of_float_unchecked : float -> t
val max_value : t
val min_value : t
val ceil_log2 : t -> int
val floor_log2 : t -> int
val is_pow2 : t -> bool
val clz : t -> int
val ctz : t -> int
module O = Core_kernel.Int64.O
val of_int : int -> t
val to_int : t -> int option
val of_int32 : int32 -> t
val to_int32 : t -> int32 option
val of_nativeint : nativeint -> t
val to_nativeint : t -> nativeint option
val to_int_trunc : t -> int
val to_int32_trunc : t -> int32
val to_nativeint_trunc : t -> nativeint
val bits_of_float : float -> t
val float_of_bits : t -> float
include Core_kernel.Int_intf.Extension
with type t := t
and type comparator_witness := comparator_witness
include Bin_prot.Binable.S with type t := t
include Core_kernel.Int_intf.Hexable with type t := t
module Hex = Core_kernel.Int64.Hex
include Core_kernel.Identifiable.S
with type t := t
with type comparator_witness := comparator_witness
include Bin_prot.Binable.S with type t := t
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Bin_prot.Read.reader
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_t : t Bin_prot.Type_class.t
include Core_kernel.Comparable.S_binable
with type t := t
with type comparator_witness := comparator_witness
include Base.Comparable.S
with type t := t
with type comparator_witness := comparator_witness
module Replace_polymorphic_compare =
Core_kernel.Int64.Replace_polymorphic_compare
include Core_kernel.Comparator.S
with type t := t
with type comparator_witness := comparator_witness
val comparator : (t, comparator_witness) Core_kernel.Comparator.comparator
module Map = Core_kernel.Int64.Map
module Set = Core_kernel.Int64.Set
include Core_kernel.Hashable.S_binable with type t := t
val hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val hashable : t Core_kernel__.Hashtbl.Hashable.t
module Table = Core_kernel.Int64.Table
module Hash_set = Core_kernel.Int64.Hash_set
module Hash_queue = Core_kernel.Int64.Hash_queue
include Core_kernel.Quickcheckable.S_int with type t := t
include Core_kernel.Quickcheck_intf.S_range with type t := t
gen_incl lower_bound upper_bound
produces values between lower_bound
and upper_bound
, inclusive. It uses an ad hoc distribution that stresses boundary conditions more often than a uniform distribution, while still able to produce any value in the range. Raises if lower_bound > upper_bound
.
gen_log_uniform_incl lower_bound upper_bound
produces a generator for values between lower_bound
and upper_bound
, inclusive, where the number of bits used to represent the value is uniformly distributed. Raises if (lower_bound < 0) ||
(lower_bound > upper_bound)
.
val show : t -> string
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or