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

    Type Alias AbstractDomainBottom<Domain>

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

    The type an abstract domain holding the Bottom element (least element) of the domain.

    Type Parameters

    • Domain extends AnyAbstractDomain

      The abstract domain to get the abstract domain bottom for

    Settings

    Member Visibility