proposit-core
    Preparing search index...

    Interface TCorePremiseProfile

    Profile of a premise's variable appearances, split by antecedent/consequent.

    interface TCorePremiseProfile {
        appearances: TCoreVariableAppearance[];
        isInference: boolean;
        premiseId: string;
    }
    Index

    Properties

    isInference: boolean
    premiseId: string