Why does Ocaml compiler give this error message regarding type inference?

Question

I have written this helper function in ocaml and it keeps throwing this error.

code:

let rec helper1 f lines d =
        match lines with
        | [] ->