proposit-core
    Preparing search index...

    Type Alias TCoreVariableAssignment

    TCoreVariableAssignment: Record<string, TCoreTrivalentValue>

    Maps variable IDs to three-valued truth values.

    Settings

    Member Visibility