Type Alias ValueDomain<StateDomain>

ValueDomain: StateDomain extends AnyStateDomain<infer Domain> ? Domain : never

The type of the value abstract domain of a state abstract domain.

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