@eagleoutice/flowr - v2.10.4
    Preparing search index...
    AbstractDomainValue: Domain extends AbstractDomain<
        infer Concrete,
        infer Value,
        infer Top,
        infer Bot,
    >
        ? Domain & AbstractDomain<Concrete, Value, Top, Bot, Value>
        : never

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

    Type Parameters