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 K : sig ... end

type 'a key = 'a K.t

type 'b t

val create : int -> 'b t

val size : 'b t -> int

val get : 'b t -> 'a key -> 'b

val get_def : 'b t -> 'a key -> 'b -> 'b

val set : 'b t -> 'a key -> 'b -> unit

val is_uninitialized : 'b t -> 'a key -> bool

Contrary to Simple_vector it tests the size too

val inc_size : 'a key -> 'b t -> unit

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

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

val apply_initialized : ('b -> 'b) -> 'b t -> unit

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

val copy : 'b t -> 'b t

val move : from:'b t -> to_:'b t -> unit

type printk = {

}

val pp : unit Pp.pp -> unit Pp.pp -> printk -> 'b Pp.pp -> 'b t Pp.pp