Function isPremiseBound

isPremiseBound(
    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;
    boundArgumentId: string;
    boundArgumentVersion: number;
    boundPremiseId: string;
    checksum: string;
    id: string;
    symbol: string;
}
Type guard: returns true if the variable is premise-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;
    boundArgumentId: string;
    boundArgumentVersion: number;
    boundPremiseId: string;
    checksum: string;
    id: string;
    symbol: string;
}
- Defined in src/lib/schemata/propositional.ts:169

Function isPremiseBound

Parameters

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

Settings

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