ocaml: Translate C examples into OCaml and include documentation.