proposit-core
    Preparing search index...

    Type Alias TCoreResolvedVariableValues

    TCoreResolvedVariableValues: Record<string, TCoreQuadrivalentValue>

    Maps variable IDs to the four-valued results constraint closure produced.

    Settings

    Member Visibility