What's with this OCaml block?