package dune

You can search for identifiers within the package.

in-package search v0.2.0

Fast, portable and opinionated build system

Install

sha256=317bec6de4429b5dee157e9864294e1534b722a2acfc50480bd16c804ab790ca

sha512=17450333156622d4612816f9ad5a224c741d62b247d63c1d77b5359d37517c1f9bc598dd11fa024f4e02ccf7eef474cd532eef1d9c34ed13439db6c781f9fa7a

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_sexp : t -> Sexp.t