Ephemeral.Entry
A mutable entry associated with a given key. Can be used to access and update the associated domain imperatively. A single (physical) entry is associated with a given key.
type domain = D.t
The type of domains associated with an entry.
set_domain e d
sets the domain of entry e
to d
. This overwrites any pre-existing domain associated with e
.
Note: the caller is responsible for ensuring that the domain is a subset of the possible domains for the entry (e.g. due to type constraints). The recommended way to do so is by first intersecting with the existing domain
. See also the EntryNotation
functor which does this for you.