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