Type Alias AbstractDomainBottom<Domain>

AbstractDomainBottom: Domain extends AbstractDomain<
    unknown,
    unknown,
    unknown,
    infer Bot,
>
    ? Bot
    : never

The type of the Bottom element (least element) of an abstract domain.

Type Parameters

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

    The abstract domain to get the Bottom element type for

Settings

Member Visibility