package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module D : sig ... end

type ('k, 'd) key = ('k, 'd) t

type ('k, 'd, 'b) data = ('k, 'd, 'b) D.t

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 = {

}

val iter_initialized : 'b iter_initialized -> 'b t -> unit

type ('b, 'c) fold_initialized = {

}

val fold_initialized : ('b, 'c) fold_initialized -> 'c -> 'b t -> 'c

type 'b iter_initializedi = {

}

val iter_initializedi : 'b iter_initializedi -> 'b t -> unit

type ('b, 'c) fold_initializedi = {

}

val fold_initializedi : ('b, 'c) fold_initializedi -> 'c -> 'b t -> 'c

type ('b, 'c) map_initializedi = {

}

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