package mirage

You can search for identifiers within the package.

in-package search v0.2.0

The MirageOS library operating system

Install

sha256=0c07d59eb52dc3d1506eb4121c4953104a12df79d08a0f0923c9b71e7474a026

sha512=666bf9ee20c9f9de058441f252f4f40ceec6a9ffd00e5cd3b7bfa9532fd65000aeb8a83f9e55586be98d0a86ea72f2dda94e924608135e3d63441359505de58a

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.