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

    Type Alias AbstractValue<Domain>

    AbstractValue: Domain extends AbstractDomain<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