OCaml
Demonstrandum