(require "logic.BRU" "lists.BRU") ; unused and questionable. [(member-impl (\member (\needle (\list (if (null? list) #f (if (same? (head list) needle) list (member needle (rest list)))))))) (length-impl (\length (\list (if (null? list) 0 (succ (length (rest list)))))))]