package dune-private-libs

You can search for identifiers within the package.

in-package search v0.2.0

Private libraries of Dune

Install

sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b

sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e

Universal maps

type t

A universal map is a map that can store values for arbitrary keys. It is the the key that conveys the type of the data associated to it.

module Key : sig ... end

val empty : t

val is_empty : t -> bool

val mem : t -> 'a Key.t -> bool

val add : t -> 'a Key.t -> 'a -> t

val remove : t -> 'a Key.t -> t

val find : t -> 'a Key.t -> 'a option

val find_exn : t -> 'a Key.t -> 'a

val singleton : 'a Key.t -> 'a -> t

val superpose : t -> t -> t

superpose a b is b augmented with bindings of a that are not in b.

val to_dyn : t -> Dyn.t