Type Alias ConcreteMap<Key, Domain>

ConcreteMap: ReadonlyMap<Key, ConcreteDomain<Domain>>

The type of the concrete mapping of the concrete domain of a mapped abstract domain mapping keys to a concrete value in the concrete domain

Type Parameters

Settings

Member Visibility