proposit-core
    Preparing search index...

    Interface TCoreVariableAppearance

    A single variable appearance within a premise, recording its side and polarity.

    interface TCoreVariableAppearance {
        polarity: TCoreVariablePolarity;
        side: TCorePremiseSide;
        variableId: string;
    }
    Index

    Properties

    polarity side variableId

    Properties

    polarity: TCoreVariablePolarity
    side: TCorePremiseSide
    variableId: string

    Settings

    Member Visibility

    On This Page

    Properties