package mirage

You can search for identifiers within the package.

in-package search v0.2.0

The MirageOS library operating system

Install

dune-project

Dependency

sha256=18a84ddf9d210745d8b6e9cb2cbb8ce3cb696e2898a54749027e9d85992bfe5c

sha512=d7cca5ae480fc7ee8c4db28c70d2868c2bc95075796c177df442f10883e1777ba3e51d248bd2feeffbc3b0cbe99d77bc61e62d794102c469cc646f63e4b65dcb

Universal map of keys

Sourcetype 'a key

The type for keys.

Sourceval new_key : string -> 'a key

new_key n is a new key with name k.

Sourcetype t

The type for context maps.

Sourceval empty : t

empty is the empty context.

Sourceval add : 'a key -> 'a -> t -> t

add k v t is t augmented with the binding (k, v). Any previous binding of k is removed.

Sourceval mem : 'a key -> t -> bool

mem k t is true iff k has been added to t.

Sourceval find : 'a key -> t -> 'a option

find k t is v is the binding (k, v) has been added to t, otherwise it is None.

Sourceval merge : default:t -> t -> t

merge ~default t merges t on top of default. If a key appears in both default and t, the value present in t is kept.

Sourceval dump : t Fmt.t

dump dumps the state of t.