package colibri2

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module K : sig ... end

Signature

type 'a key = 'a K.t
type 'b t
val create : int -> unit t
val size : unit t -> int
val get : unit t -> 'a key -> 'a
val get_def : unit t -> 'a key -> 'a -> 'a
val set : unit t -> 'a key -> 'a -> unit
val is_uninitialized : unit t -> 'a key -> bool

Contrary to Simple_vector it tests the size too

val inc_size : 'a key -> unit t -> unit
type 'b iter_initializedi = {
  1. iteri : 'a. 'a key -> 'a -> unit;
}
val iter_initializedi : unit iter_initializedi -> unit t -> unit
type ('b, 'c) fold_initializedi = {
  1. foldi : 'a. 'c -> 'a key -> 'a -> 'c;
}
val fold_initializedi : (unit, 'c) fold_initializedi -> 'c -> unit t -> 'c
val copy : unit t -> unit t
val move : from:unit t -> to_:unit t -> unit
type printk = {
  1. printk : 'a. 'a key Pp.pp;
}
type 'b printd = {
  1. printd : 'a. 'a key -> 'a Pp.pp;
}
val pp : unit Pp.pp -> unit Pp.pp -> printk -> unit printd -> unit t Pp.pp
OCaml

Innovation. Community. Security.