package colibri2

  1. Overview
  2. Docs

Parameters

module K : Keys1

Signature

type t
type 'a key = 'a K.t
val create : int -> t
val get : t -> 'a key -> 'a
val get_def : t -> 'a key -> 'a -> 'a
val set : t -> 'a key -> 'a -> unit
val clear : t -> unit
val is_uninitialized : t -> 'a key -> bool
val remove : t -> 'a key -> unit
type iter_initialized = {
  1. iter : 'a. 'a -> unit;
}
val iter_initialized : iter_initialized -> t -> unit
type 'c fold_initialized = {
  1. fold : 'a. 'c -> 'a -> 'c;
}
val fold_initialized : 'c fold_initialized -> 'c -> t -> 'c
type iter_initializedi = {
  1. iteri : 'a. 'a key -> 'a -> unit;
}
val iter_initializedi : iter_initializedi -> t -> unit
type 'c fold_initializedi = {
  1. foldi : 'a. 'c -> 'a key -> 'a -> 'c;
}
val fold_initializedi : 'c fold_initializedi -> 'c -> t -> 'c
val copy : t -> t
val move : from:t -> to_:t -> unit
type printk = {
  1. printk : 'a. 'a key Containers.Format.printer;
}
type printd = {
  1. printd : 'a. 'a key -> 'a Containers.Format.printer;
}
val pp : unit Containers.Format.printer -> unit Containers.Format.printer -> printk -> printd -> t Containers.Format.printer
OCaml

Innovation. Community. Security.