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