Function mkDecafRecordId

Constructor for DECAF record identifiers.

Param: x

Value to create DECAF record identifier from.

Returns

DECAF record identifier of type deduced from call-site usage.

mkDecafRecordId<T extends _DecafRecordIdFromNumber>(x: number): T
Type Parameters
- T extends _DecafRecordIdFromNumber
Parameters
- x: number
Returns T
- Defined in commons/-id.ts:73
mkDecafRecordId<T extends DecafArtifactTypeId>(x: string): T
Type Parameters
- T extends DecafArtifactTypeId
Parameters
- x: string
Returns T
- Defined in commons/-id.ts:76