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

    Type Alias AbstractDomainValue<Domain>

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

    The type of an abstract domain holding an abstract value of the domain.

    Type Parameters

    • Domain extends AnyAbstractDomain

      The abstract domain abstract domain value type for

    Settings
    Member Visibility