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

    Type Alias ValueDomain<Domain>

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

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

    Type Parameters

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

    Settings
    Member Visibility