del . x . y z f = x y x y z f true x y z del . y z f false x y z . x del . y z = nil nil true = . x y nil false = nil . y z false = . x y . u v and = x u = y v del 1 . 2 f 4 = 2 true 0 false 0 nil 0 u 0 v 0 and 2 FULL ./TRS/SK90/2.44.trs