package bignum

You can search for identifiers within the package.

in-package search v0.2.0

package bignum

bignum
- Bignum
  - For_testing
  - Hash_queue
  - Hash_set
    
    Provide_bin_io
    
    X
    
    Provide_of_sexp
    
    X
  - Map
    
    Diff
    
    Key
    
    Provide_bin_io
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
  - O
  - Set
    
    Diff
    
    Elt
    
    Provide_bin_io
    
    Elt
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
  - Stable
    
    V1
    
    For_testing
    
    V2
    
    For_testing
    
    V3
    
    For_testing
  - Table
    
    Provide_bin_io
    
    Key
    
    Provide_of_sexp
    
    Key
  - Unstable
bignum.bigint
- Bigint
  - Binary
  - Hash_queue
  - Hash_set
    
    Provide_bin_io
    
    X
    
    Provide_of_sexp
    
    X
  - Hex
  - Map
    
    Diff
    
    Key
    
    Provide_bin_io
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
  - O
  - Set
    
    Diff
    
    Elt
    
    Provide_bin_io
    
    Elt
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
  - Stable
    
    V1
    
    V2
  - Table
    
    Provide_bin_io
    
    Key
    
    Provide_of_sexp
    
    Key
  - Unstable

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ('a, 'a_diff) t = (Key.t, 'a, 'a_diff) Diffable.Map_diff.t

include Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t

val bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2

val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2

val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2

val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2

val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer

val bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader

val bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t

include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

val t_of_sexp : 
  (Sexplib0__.Sexp.t -> 'a) ->
  (Sexplib0__.Sexp.t -> 'b) ->
  Sexplib0__.Sexp.t ->
  ('a, 'b) t

val sexp_of_t : 
  ('a -> Sexplib0__.Sexp.t) ->
  ('b -> Sexplib0__.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0__.Sexp.t

include Diffable.Diff.S1_plain
  with type ('a, 'a_diff) t := ('a, 'a_diff) t
   and type 'a derived_on =
         (Key.t, 'a, Key.comparator_witness) Core__.Map_intf.Map.t

type 'a derived_on = (Key.t, 'a, Key.comparator_witness) Core__.Map_intf.Map.t

val get : 
  (from:'a -> to_:'a -> 'a_diff Diffable.Optional_diff.t) ->
  from:'a derived_on ->
  to_:'a derived_on ->
  ('a, 'a_diff) t Diffable.Optional_diff.t

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  'a derived_on ->
  ('a, 'a_diff) t ->
  'a derived_on

val of_list_exn : 
  ('a_diff list -> 'a_diff Diffable.Optional_diff.t) ->
  ('a -> 'a_diff -> 'a) ->
  ('a, 'a_diff) t list ->
  ('a, 'a_diff) t Diffable.Optional_diff.t