proposit-core
    Preparing search index...

    Type Alias TCoreVariablePolarity

    TCoreVariablePolarity: "positive" | "negative"

    Polarity of a variable within an expression subtree.