use OCaml's tuples to represent fractions as a pair of integers. For example, the value (1,2) of type int * intrepresents the value one-half; (5,8) represents the value five-eighths.

Write a fraction function that simplifies fractions. It should be called frac_simplify with type (int * int) -> (int * int).

Consider the following sample evaluations:

frac_simplify (8,16) evaluates to (1,2)

frac_simplify (4,9) evaluates to (4,9)

frac_simplify (3,9) evaluates to (1,3)

As before, you may assume that the denominator is never 0.