(bind-func equal:[bool,List{!a}*,List{!a}*]* "returns true if 'equal' returns true for all pairs of elements" (lambda (list1 list2) (every (lambda (a b) (equal a b)) list1 list2)))