let
unary_of_real_mult =
function
x
->
(
function
z
->
x *. z)