Function isNakedQDerivationPremise

Type Parameters

• TArg extends {
      checksum: string;
      combinedChecksum: string;
      descendantChecksum: string | null;
      id: string;
      version: number;
  }
• TPremise extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "freeform";
      }
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          derivedClaimId: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "derivation";
      }
• TExpr extends TCorePropositionalExpression
• TVar extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      }