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

    Type Alias StateDomainTop

    StateDomainTop: ReadonlyMap<NodeId, never>

    The type of the Top element of the state abstract domain as (empty) map of keys to domain values

    Settings

    Member Visibility