Type Alias AbstractState<Domain>

The type of the abstract state for a abstract domain mapping AST node IDs to abstract values of an abstract domain