The Canon module first computes the canonical representative in an Uf.t instance before accessing the ephemeral map.
include Domains_intf.EphemeralDomainMap
with type key = AltErgoLib.Domains_intf.X.r
and type Entry.domain = D.tThe type of ephemeral domain maps, i.e. an imperative structure mapping keys to their current domain.
type key = AltErgoLib.Domains_intf.X.rThe type of keys in the ephemeral map.
module Entry : sig ... endentry 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.
include Domains_intf.EntryNotation
with type entry := Entry.t
and type domain := D.tval update : ex:Explanation.t -> Entry.t -> D.t -> unitupdate ~ex e d updates the domain associated with e, intersecting it with d. The explanation ex is added to d.
Domain.Inconsistent if the domains are incompatible.