Я использую две функции (f1 f2) в программе с типом возврата natlist. Теперь хочу использовать: If(condition testing) then (execute f1 and f2) else nil. В этом случае я должен использовать оператор && между f1 и f2. Но их типы возврата не бул. Поэтому я поражен. Как я могу использовать && операцию между f1 и f2, когда они имеют тип возврата natlist? Спасибо за помощь.