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

    Type Alias StateDomainLift<Domain>

    StateDomainLift: StateDomainValue<Domain> | StateDomainBottom

    The type of the abstract values of the state abstract domain that are Top, Bottom, or actual values

    Type Parameters

    Settings

    Member Visibility