P
arr :: Integer -> Maybe a
, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b
, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr c
Size: a a a
P
arr :: Integer -> Maybe a
, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b
, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr c
Т8
P
А⚙
Т8
B
P
Т8
AZ
AZ
ML
ML
ML
AZ
AZ
Т8
P
ML
AZ
А⚙