OCaml: обработка исключений

let rec mtable x y = 
    Printf.printf " %d * %d = " x y;
    flush stdout;
    let product = (x * y) in
    let u_input = read_line () in
    let t_input = String.trim u_input in 
    match t_input with 
        | "в"  -> Printf.printf "Выход осуществлён\n";
        |  another -> let number =
            try (int_of_string another) with
            | Failure(_) -> 
                (Printf.printf "Введите число\n";
                 mtable x y;
                 product)
                 in 
                 if (x = 10 && y = 10)  && product = number then
                  Printf.printf "Вы прорешали всю таблицу\n"
                 else if y = 10 && product = number then
                   mtable (x + 1) 1
                 else if product = number then
                   (Printf.printf "Верно\n";
                    mtable x (y + 1))
                 else 
                (Printf.printf "Неверно\n";
                 mtable x y );;
    
            
mtable 8 10;;

let rec mtable x y = 
  Printf.printf " %d * %d = " x y;
  flush stdout;
  let product = (x * y) in
  let u_input = read_line () in
  let t_input = String.trim u_input in 
  match t_input with 
  | "q"  -> Printf.printf "Good bye\n";
  |  another -> 
  try
     let number = int_of_string another in
     if (x = 10 && y = 10)  && product = number then
       Printf.printf "You have reached the end of the  table\n"
     else if y = 10 && product = number then
       mtable (x + 1) 1
     else if product = number then
       (Printf.printf "Right answer\n";
        mtable x (y + 1))
     else 
       (Printf.printf "Wrong answer\n";
        mtable x y )
  with
  | Failure(_) -> 
         (Printf.printf "The answer must be a number\n";
          mtable x y);;
    
mtable 10 8;;