@eagleoutice/flowr - v2.10.1
    Preparing search index...

    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 AnyAbstractDomain

      The abstract domain to get the abstract value type for

    Settings

    Member Visibility