Module type Domains_intf.EphemeralDomainMap

The type of ephemeral domain maps, i.e. an imperative structure mapping keys to their current domain.

The type of keys in the ephemeral map.

entry t k returns the entry associated with k.

There is a unique entry associated with each key k that is created on-the-fly when entry t k is called for the first time. Calling entry t k with the same key will always return the same (physical) entry.

The domain associated with the entry is initialized from the underlying persistent domain (or the default function provided to edit) the first time it is accessed, and updated with set_domain or update.