Type Alias AbstractDomainTop<Domain>

AbstractDomainTop: Domain extends AbstractDomain<
    unknown,
    unknown,
    infer Top,
    unknown,
>
    ? Top
    : never

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