A ROC developed in OCaml.