예를 들어 유형 브랜드를 정의하는 경우:

constnominalSymbol: 고유 기호 선언; type Nominal
      
       = U & { [nominalSymbol]: T };

U 코드>.

constnominalSymbol: 고유 기호 선언; type Nominal
       
        = U & { [nominalSymbol]: T }; type BrandedType = Nominal<'주소', string> type a = NotNominal // `string`이어야 합니다. type b = NotNominal
 // 'never'여야 합니다