Аргументы и результаты какой из функций можно специфицировать формулой: (X List(X)) -> List(X)?
Спецификации аргументов и результатов какой из функций может иметь вид: (X List(X)) -> List(X)?
Спецификации результатов какой из функций соответствует формуле: (X List(X)) -> List(X) ?
Результаты какой из функций соответствуют спецификации: (X List(X)) -> List(X) ?
Какая из функций не требует соответствия спецификации аргументов вида: (X List(X)) -> List(X)?
Какая из функций соответствует спецификации аргументов и результатов (X List(X)) -> List(X)?
Какая из функций не соответствует спецификации ни аргументов, ни результатов: (X List(X)) -> List(X)?
Какая из функций не соответствует спецификации результатов (X List(X)) -> List(X)?
Какая из функций не соответствует спецификации результатов (X List(X)) -> List(X) ?
Какая из функций соответствует спецификации аргументов: List(X) -> List(X) ?