Declarative definition of command line interfaces for OCaml
