(bind-func reverse_r:[List{!a}*,List{!a}*]* (lambda (lst) (let ((rev (lambda (old new) (if (null? old) new (rev (cdr old) (cons (car old) new)))))) (rev lst (convert null)))))