Такая спецификация накладывает ограничение ( ) на допустимое множество наборов подставимых структур, объявляя требование, что это должны быть структуры, которые разделяют ( ) использование одной и той же спецификации (типа, сигнатуры или структуры).