package colibri2

  1. Overview
  2. Docs
include Hashtbl_hetero.S2 with type ('a1, 'a2, 'b) data = 'b with type ('a, 'b) key = ('a, 'b) t
type ('a, 'b) key = ('a, 'b) t
type ('a1, 'a2, 'b) data = 'b
type 'b t
val create : int -> 'b t
val get : 'b t -> ('a1, 'a2) key -> ('a1, 'a2, 'b) data
val get_def : 'b t -> ('a1, 'a2) key -> ('a1, 'a2, 'b) data -> ('a1, 'a2, 'b) data
val set : 'b t -> ('a1, 'a2) key -> ('a1, 'a2, 'b) data -> unit
val clear : 'b t -> unit
val is_uninitialized : 'b t -> ('a1, 'a2) key -> bool
val remove : 'b t -> ('a1, 'a2) key -> unit
type 'b iter_initialized = {
  1. iter : 'a1 'a2. ('a1, 'a2, 'b) data -> unit;
}
val iter_initialized : 'b iter_initialized -> 'b t -> unit
type ('b, 'c) fold_initialized = {
  1. fold : 'a1 'a2. 'c -> ('a1, 'a2, 'b) data -> 'c;
}
val fold_initialized : ('b, 'c) fold_initialized -> 'c -> 'b t -> 'c
type 'b iter_initializedi = {
  1. iteri : 'a1 'a2. ('a1, 'a2) key -> ('a1, 'a2, 'b) data -> unit;
}
val iter_initializedi : 'b iter_initializedi -> 'b t -> unit
type ('b, 'c) fold_initializedi = {
  1. foldi : 'a1 'a2. 'c -> ('a1, 'a2) key -> ('a1, 'a2, 'b) data -> 'c;
}
val fold_initializedi : ('b, 'c) fold_initializedi -> 'c -> 'b t -> 'c
type ('b, 'c) map_initializedi = {
  1. mapi : 'a1 'a2. ('a1, 'a2) key -> ('a1, 'a2, 'b) data -> ('a1, 'a2, 'b) data;
}
val map_initializedi : ('b, 'c) map_initializedi -> 'b t -> unit
val copy : 'b t -> 'b t
val move : from:'b t -> to_:'b t -> unit
OCaml

Innovation. Community. Security.