Function isClaimBound

isClaimBound(
    v:
        | {
            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;
        },
): v is {
    argumentId: string;
    argumentVersion: number;
    checksum: string;
    claimId: string;
    claimVersion: number;
    id: string;
    symbol: string;
}
Type guard: returns true if the variable is claim-bound.
Parameters
- v:
      | {
          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;
      }
Returns v is {
    argumentId: string;
    argumentVersion: number;
    checksum: string;
    claimId: string;
    claimVersion: number;
    id: string;
    symbol: string;
}
- Defined in src/lib/schemata/propositional.ts:162

Function isClaimBound

Parameters

Returns v is { argumentId: string; argumentVersion: number; checksum: string; claimId: string; claimVersion: number; id: string; symbol: string;}

Settings

Returns v is {
argumentId: string;
argumentVersion: number;
checksum: string;
claimId: string;
claimVersion: number;
id: string;
symbol: string;
}