предыдущая
наверх
следующая
Примитивные предикаты и функционалы
Унарные предикаты над числами
(
zerop
number
) =>
булево
(
plusp
number
) =>
булево
(
minusp
number
) =>
булево