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

    Type Alias ValueDomain<StateDomain>

    ValueDomain: StateDomain extends AnyStateDomain<infer Domain> ? Domain : never

    The type of the value abstract domain of a state abstract domain.

    Type Parameters

    • StateDomain extends AnyStateDomain

      The state abstract domain to get the value abstract domain type for

    Settings

    Member Visibility