Type Alias ValueAbstractDomain<StateDomain>

ValueAbstractDomain: StateDomain extends StateAbstractDomain<infer Domain>
? Domain
: never

The type of the value abstract domain of a state abstract domain (i.e. the abstract domain a state abstract domain maps to).

StateDomain extends StateAbstractDomain<AnyAbstractDomain>
The state abstract domain to get the value abstract domain type for