package dune

You can search for identifiers within the package.

in-package search v0.2.0

Fast, portable and opinionated build system

Install

sha256=77cb5f483221b266ded2b85fc84173ae0089a25134a086be922e82c131456ce6

sha512=02f00fd872aa49b832fc8c1e928409f23c79ddf84a53009a58875f222cca36fbb92c905e12c539caec9cbad723f195a8aa24218382dca35a903b3f52b11f06f2

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