Update function.ml