Название: forall

Описание: для всех

Использование: forall(par1 : перем)

Пример: x->piecewise { forall(t:t@list { true, false, false }) ? 1, ? 0 }