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