updated "choose.ml" example with an infix operator