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

    Type Alias AbstractDomainBottom<Domain>

    AbstractDomainBottom: Domain extends AbstractDomain<
        unknown,
        unknown,
        unknown,
        infer Bot,
    >
        ? Bot
        : never

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

    Type Parameters

    • Domain extends AnyAbstractDomain

      The abstract domain to get the Bottom element type for

    Settings

    Member Visibility