Type Alias AbstractDomainValue<Domain>

AbstractDomainValue: Domain extends AbstractDomain<
    unknown,
    infer Value,
    infer Top,
    infer Bot,
>
    ? Value
    | Top
    | Bot
    : never

The type of the abstract values of an abstract domain (including the Top and Bottom element).

Type Parameters

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

    The abstract domain to get the abstract value type for

Settings

Member Visibility