У меня есть несколько интерфейсов с одним общим полем, используемым в качестве дискриминатора для непересекающегося объединения. Это поле состоит из нескольких перечислений, используемых в других местах, поэтому я не могу сделать его одним ...

У меня есть пара интерфейса и тип объединения: интерфейс экспорта FieldOptions {value: string | число; viewValue: строка; } интерфейс экспорта BaseField {id: string; выведено ?: логическое; ...

У меня есть тип типа Conjuction! [S] = S => Ничего типа !! [S] =! [! [S]] тип ∨ [T, U] =! [! [T] с! [U]] тип | | | [T, U] = {тип λ [X ] = !! [X] <: < (T ∨ U)} Иерархия классов: a, b, c, d, n abstract ...