proposit-core
    Preparing search index...

    Function isExternallyBound

    • Returns true if the premise-bound variable references a premise in a different argument.

      Parameters

      • v: {
            argumentId: string;
            argumentVersion: number;
            boundArgumentId: string;
            boundArgumentVersion: number;
            boundPremiseId: string;
            checksum: string;
            id: string;
            symbol: string;
        }
      • argumentId: string

      Returns boolean