;; do style version (bind-func div_test:[Option*,Option*,Option*]* (lambda (a b) (dolet ((n a) ;; numerator (d b)) ;; denominator (if (= d 0) (None) (Some (/ n d))))))