package bignum

You can search for identifiers within the package.

in-package search v0.2.0

package bignum

bignum
- Bignum
  - Bignum0
    
    Hash_queue
    
    Hash_set
    
    Provide_bin_io
    
    X
    
    Provide_of_sexp
    
    X
    
    Map
    
    Key
    
    Provide_bin_io
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    K
    
    O
    
    Set
    
    Elt
    
    Named
    
    Provide_bin_io
    
    Elt
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Elt
    
    Stable
    
    V1
    
    V2
    
    Table
    
    Provide_bin_io
    
    Key
    
    Provide_of_sexp
    
    Key
  - Hash_queue
  - Hash_set
    
    Provide_bin_io
    
    X
    
    Provide_of_sexp
    
    X
  - Map
    
    Key
    
    Provide_bin_io
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    K
  - O
  - Set
    
    Elt
    
    Named
    
    Provide_bin_io
    
    Elt
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Elt
  - Stable
    
    Bignum
  - Std
  - Table
    
    Provide_bin_io
    
    Key
    
    Provide_of_sexp
    
    Key
bignum.bigint
- Bigint
  - Hash_queue
  - Hash_set
    
    Provide_bin_io
    
    X
    
    Provide_of_sexp
    
    X
  - Hex
  - Map
    
    Key
    
    Provide_bin_io
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    K
  - O
  - Set
    
    Elt
    
    Named
    
    Provide_bin_io
    
    Elt
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Elt
  - Stable
    
    V1
  - Table
    
    Provide_bin_io
    
    Key
    
    Provide_of_sexp
    
    Key

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

gen produces integers representable within Quickcheck.size bytes, with a random sign.

include Core_kernel.Int_intf.S_unbounded with type t := t

include Core_kernel.Int_intf.Extension with type t := t

val typerep_of_t : t Typerep_lib.Std.Typerep.t

val typename_of_t : t Typerep_lib.Std.Typename.t

include Core_kernel.Int_intf.Hexable with type t := t

module Hex : sig ... end

include Core_kernel.Identifiable.S with type t := t

val bin_t : t Bin_prot.Type_class.t

val bin_read_t : t Bin_prot.Read.reader

val __bin_read_t__ : (Base.Int.t -> t) Bin_prot.Read.reader

val bin_reader_t : t Bin_prot.Type_class.reader

val bin_size_t : t Bin_prot.Size.sizer

val bin_write_t : t Bin_prot.Write.writer

val bin_writer_t : t Bin_prot.Type_class.writer

val bin_shape_t : Bin_prot.Shape.t

include Core_kernel.Identifiable.S_common with type t := t

include Core_kernel.Comparable.S_binable with type t := t

include Base.Comparable.S with type t := t

type comparator_witness

module Replace_polymorphic_compare : sig ... end

include Core_kernel.Comparator.S
  with type t := t
  with type comparator_witness := comparator_witness

module Map : 
  Core_kernel.Map.S_binable
    with type Key.t = t
    with type Key.comparator_witness = comparator_witness

module Set : 
  Core_kernel.Set.S_binable
    with type Elt.t = t
    with type Elt.comparator_witness = comparator_witness

include Core_kernel.Hashable.S_binable with type t := t

val hashable : t Core_kernel__.Hashtbl.Hashable.t

module Table : Core_kernel.Hashtbl.S_binable with type key = t

module Hash_set : Core_kernel.Hash_set.S_binable with type elt = t

module Hash_queue : Core_kernel.Hash_queue.S with type Key.t = t

include Core_kernel.Quickcheckable.S_int with type t := t

include Core_kernel.Quickcheck_intf.S
  with type 'a gen := 'a Core_kernel.Quickcheck.Generator.t
  with type 'a obs := 'a Core_kernel.Quickcheck.Observer.t
  with type 'a shr := 'a Core_kernel.Quickcheck.Shrinker.t
  with type t := t

val gen : t Core_kernel.Quickcheck.Generator.t

val obs : t Core_kernel.Quickcheck.Observer.t

val shrinker : t Core_kernel.Quickcheck.Shrinker.t

val gen_incl : t -> t -> t Core_kernel.Quickcheck.Generator.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.

val gen_uniform_incl : t -> t -> t Core_kernel.Quickcheck.Generator.t

gen_uniform_incl lower_bound upper_bound produces a generator for values uniformly distributed between lower_bound and upper_bound, inclusive. Raises if lower_bound > upper_bound.

val gen_log_uniform_incl : t -> t -> t Core_kernel.Quickcheck.Generator.t

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 gen_log_incl : t -> t -> t Core_kernel.Quickcheck.Generator.t

gen_log_incl lower_bound upper_bound is like gen_log_uniform_incl, but weighted slightly more in favor of generating lower_bound and upper_bound specifically.

include Base.Int.S_unbounded
  with type t := t
  with type comparator_witness := comparator_witness
  with module Hex := Hex

val of_float : float -> t

val to_float : t -> float

val of_int_exn : int -> t

val to_int_exn : t -> int

val hash_fold_t : 
  Base__.Ppx_hash_lib.Std.Hash.state ->
  t ->
  Base__.Ppx_hash_lib.Std.Hash.state

val hash : t -> Base__.Ppx_hash_lib.Std.Hash.hash_value

val t_of_sexp : Base__.Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Base__.Ppx_sexp_conv_lib.Sexp.t

val of_string : string -> t

val to_string : t -> string

val (>=) : t -> t -> bool

val (<=) : t -> t -> bool

val (=) : t -> t -> bool

val (>) : t -> t -> bool

val (<) : t -> t -> bool

val (<>) : t -> t -> bool

val equal : t -> t -> bool

val compare : t -> t -> int

val min : t -> t -> t

val max : t -> t -> t

val ascending : t -> t -> int

val descending : t -> t -> int

val between : t -> low:t -> high:t -> bool

val clamp_exn : t -> min:t -> max:t -> t

val clamp : t -> min:t -> max:t -> t Base__.Or_error.t

val comparator : (t, comparator_witness) Base__.Comparator.comparator

val validate_lbound : min:t Base__.Maybe_bound.t -> t Base__.Validate.check

val validate_ubound : max:t Base__.Maybe_bound.t -> t Base__.Validate.check

val validate_bound : 
  min:t Base__.Maybe_bound.t ->
  max:t Base__.Maybe_bound.t ->
  t Base__.Validate.check

val pp : Base__.Formatter.t -> t -> unit

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 to_string_hum : ?delimiter:char -> t -> string

val zero : t

val one : t

val minus_one : t

val (+) : t -> t -> t

val (-) : t -> t -> t

val (*) : t -> t -> t

val (**) : t -> t -> t

val neg : t -> t

val (~-) : t -> t

val (/%) : t -> t -> t

val (%) : t -> t -> t

val (/) : t -> t -> t

val rem : t -> t -> t

val (//) : t -> t -> float

val (land) : t -> t -> t

val (lor) : t -> t -> t

val (lxor) : t -> t -> t

val lnot : t -> t

val (lsl) : t -> int -> t

val (asr) : t -> int -> t

val succ : t -> t

val pred : t -> t

val round : 
  ?dir:[ `Down | `Nearest | `Up | `Zero ] ->
  t ->
  to_multiple_of:t ->
  t

val round_towards_zero : t -> to_multiple_of:t -> t

val round_down : t -> to_multiple_of:t -> t

val round_up : t -> to_multiple_of:t -> t

val round_nearest : t -> to_multiple_of:t -> t

val abs : t -> t

val pow : t -> t -> t

val bit_and : t -> t -> t

val bit_or : t -> t -> t

val bit_xor : t -> t -> t

val bit_not : t -> t

val popcount : t -> int

val shift_left : t -> int -> t

val shift_right : t -> int -> t

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 of_nativeint_exn : nativeint -> t

val to_nativeint_exn : t -> nativeint

val of_float_unchecked : float -> t

module O : sig ... end

val to_int64_exn : t -> Core_kernel.Int64.t

val to_int : t -> int option

val to_int32 : t -> Core_kernel.Int32.t option

val to_int64 : t -> Core_kernel.Int64.t option

val to_nativeint : t -> nativeint option

val of_int : int -> t

val of_int32 : Core_kernel.Int32.t -> t

val of_int64 : Core_kernel.Int64.t -> t

val of_nativeint : nativeint -> t

val to_zarith_bigint : t -> Bigint__.Zarith.Z.t

val of_zarith_bigint : Bigint__.Zarith.Z.t -> t

val random : ?state:Core_kernel.Random.State.t -> t -> t

random t produces a value uniformly distributed between zero (inclusive) and t (exclusive), or raises if t <= zero.

val gen_positive : t Core_kernel.Quickcheck.Generator.t

val gen_negative : t Core_kernel.Quickcheck.Generator.t

module Stable : sig ... end