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.

Type Parameters

  • Domain extends AbstractDomain<unknown, unknown, unknown, unknown>

    The abstract domain to get the Top element type for

Settings

Member Visibility