The type of the concrete state for the concrete domain of an abstract domain mapping AST node IDs to a concrete value in the concrete domain
The type of the concrete state for the concrete domain of an abstract domain mapping AST node IDs to a concrete value in the concrete domain