or true y true or x true true or false false false mem x nil false mem x set y = x y mem x union y z or mem x y mem x z or 2 true 0 false 0 mem 2 nil 0 set 1 = 2 union 2 FULL ./TRS/SK90/2.40.trs