Type Alias AbstractDomainTop<Domain>

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

The type an abstract domain holding the Top element (greatest element) of the domain.