6OCaml has yet another special syntax for declaring mutually recursive functions like this, but it’s not relevant here.