Q 1 in ocaml