ContractId: t.Branded<string, ContractIdBrand>

Marlowe contract identifier.

Remarks

The underlying data structure is a normal string, but in the type level it is Branded with a unique symbol so that it is not confused with other strings