`sig
type ('key, 'data) t
type ('a, 'b) table = ('a, 'b) Bounded_int_table.t
val invariant :
'a Invariant_intf.inv ->
'b Invariant_intf.inv -> ('a, 'b) t Invariant_intf.inv
val equal : 'a Equal.equal -> 'b Equal.equal -> ('a, 'b) t Equal.equal
val create :
?sexp_of_key:('key -> Std_internal.Sexp.t) ->
num_keys:int ->
key_to_int:('key -> int) -> unit -> ('key, 'data) Bounded_int_table.t
val keys : ('key, 'a) Bounded_int_table.t -> 'key list
val data : ('a, 'data) Bounded_int_table.t -> 'data list
val find : ('key, 'data) Bounded_int_table.t -> 'key -> 'data option
val find_exn : ('key, 'data) Bounded_int_table.t -> 'key -> 'data
val find_or_add :
('key, 'data) Bounded_int_table.t ->
'key -> default:(unit -> 'data) -> 'data
val fold :
('key, 'data) Bounded_int_table.t ->
init:'accum -> f:(key:'key -> data:'data -> 'accum -> 'accum) -> 'accum
val iter :
('key, 'data) Bounded_int_table.t ->
f:(key:'key -> data:'data -> unit) -> unit
val iter_vals :
('a, 'data) Bounded_int_table.t -> f:('data -> unit) -> unit
val filter_mapi :
('key, 'data1) Bounded_int_table.t ->
f:(key:'key -> data:'data1 -> 'data2 option) ->
('key, 'data2) Bounded_int_table.t
val filter_map :
('key, 'data1) Bounded_int_table.t ->
f:('data1 -> 'data2 option) -> ('key, 'data2) Bounded_int_table.t
val mapi :
('key, 'data1) Bounded_int_table.t ->
f:(key:'key -> data:'data1 -> 'data2) ->
('key, 'data2) Bounded_int_table.t
val map :
('key, 'data1) Bounded_int_table.t ->
f:('data1 -> 'data2) -> ('key, 'data2) Bounded_int_table.t
val for_alli :
('key, 'data) Bounded_int_table.t ->
f:(key:'key -> data:'data -> bool) -> bool
val existsi :
('key, 'data) Bounded_int_table.t ->
f:(key:'key -> data:'data -> bool) -> bool
val for_all : ('a, 'data) Bounded_int_table.t -> f:('data -> bool) -> bool
val exists : ('a, 'data) Bounded_int_table.t -> f:('data -> bool) -> bool
val length : ('a, 'b) Bounded_int_table.t -> int
val mem : ('key, 'a) Bounded_int_table.t -> 'key -> bool
val remove : ('key, 'a) Bounded_int_table.t -> 'key -> unit
val set : ('a, 'b) Bounded_int_table.t -> key:'a -> data:'b -> unit
val add :
('a, 'b) Bounded_int_table.t ->
key:'a -> data:'b -> [ `Duplicate of 'b | `Ok ]
val add_exn : ('a, 'b) Bounded_int_table.t -> key:'a -> data:'b -> unit
val to_alist : ('key, 'data) Bounded_int_table.t -> ('key * 'data) list
val clear : ('a, 'b) Bounded_int_table.t -> unit
module With_key :
functor
(Key : sig
type t
val to_int : Bounded_int_table.With_key.t -> int
val t_of_sexp : Sexplib.Sexp.t -> Bounded_int_table.With_key.t
val sexp_of_t : Bounded_int_table.With_key.t -> Sexplib.Sexp.t
val bin_t : Bounded_int_table.With_key.t Bin_prot.Type_class.t
val bin_read_t :
Bounded_int_table.With_key.t Bin_prot.Read.reader
val __bin_read_t__ :
(int -> Bounded_int_table.With_key.t) Bin_prot.Read.reader
val bin_reader_t :
Bounded_int_table.With_key.t Bin_prot.Type_class.reader
val bin_size_t :
Bounded_int_table.With_key.t Bin_prot.Size.sizer
val bin_write_t :
Bounded_int_table.With_key.t Bin_prot.Write.writer
val bin_writer_t :
Bounded_int_table.With_key.t Bin_prot.Type_class.writer
end) ->
sig
type 'data t = (Key.t, 'data) Bounded_int_table.table
val create : num_keys:int -> 'data Bounded_int_table.With_key.t
val of_alist :
(Key.t * 'data) list ->
'data Bounded_int_table.With_key.t Or_error.t
val of_alist_exn :
(Key.t * 'data) list -> 'data Bounded_int_table.With_key.t
val t_of_sexp :
(Sexplib.Sexp.t -> 'data) ->
Sexplib.Sexp.t -> 'data Bounded_int_table.With_key.t
val sexp_of_t :
('data -> Sexplib.Sexp.t) ->
'data Bounded_int_table.With_key.t -> Sexplib.Sexp.t
val bin_t :
'data Bin_prot.Type_class.t ->
'data Bounded_int_table.With_key.t Bin_prot.Type_class.t
val bin_read_t :
'data Bin_prot.Read.reader ->
'data Bounded_int_table.With_key.t Bin_prot.Read.reader
val __bin_read_t__ :
'data Bin_prot.Read.reader ->
(int -> 'data Bounded_int_table.With_key.t) Bin_prot.Read.reader
val bin_reader_t :
'data Bin_prot.Type_class.reader ->
'data Bounded_int_table.With_key.t Bin_prot.Type_class.reader
val bin_size_t :
'data Bin_prot.Size.sizer ->
'data Bounded_int_table.With_key.t Bin_prot.Size.sizer
val bin_write_t :
'data Bin_prot.Write.writer ->
'data Bounded_int_table.With_key.t Bin_prot.Write.writer
val bin_writer_t :
'data Bin_prot.Type_class.writer ->
'data Bounded_int_table.With_key.t Bin_prot.Type_class.writer
end
val debug : bool Pervasives.ref
val sexp_of_t :
('key -> Sexplib.Sexp.t) ->
('data -> Sexplib.Sexp.t) ->
('key, 'data) Bounded_int_table.t -> Sexplib.Sexp.t
end`