package alt-ergo

  1. Overview
  2. Docs

Alt_ergo_common

Command line parsing

The alt-ergo-common package is used for parsing the command line with cmdliner See

  • Alt_ergo_common.Parse_command
OCaml

Innovation. Community. Security.