(* multiplication of lists of integers *) let rec times xs = match xs with [] -> 1 | 0 :: _ -> 0 | x :: xs -> x * times xs (* try: times [1;3;3;2;0;6;7;2];; *)