let
add_rat =
function
Rat
r1,
Rat
r2
->
Rat
(
Num
.add_num r1 r2)