J.12 Предикат Interface

В дополнение к идентификатору, зарезервированное слово interface разрешено в качестве имени предиката, для обеспечения совместимости с предыдущими изданиями этого международного стандарта.