let
function_of_poly =
function
p
->
function
a
->
eval_poly (p, a)