Literate assertions for OCaml