sig
val
iter : float
->
(float
->
float)
->
float
->
float
val
phi_iter : float
->
float
end