Type Alias AbstractDomainValue<Domain>

AbstractDomainValue: Domain extends AbstractDomain<
    infer Concrete,
    infer Value,
    infer Top,
    infer Bot,
>
    ? Domain & AbstractDomain<Concrete, Value, Top, Bot, Value>
    : never

The type of an abstract domain holding an abstract value of the domain.