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=f5eb059835524fe165f487d15d790c33c56b2fcdd08fa475cd41e5b051f9b47e

sha512=56256cf7d0b0647a223a78c90593f9a172f5a9f438123b633c47b47b95a2ec709111bd718d9ffa077aa1da8578671215cd8b80f2c79b70173b5cf277ad5a663a

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.