eliomc(1) on Linux
The text c478837cff32, as Debian 8 (Jessie) shipped it.
the eliom build tools
Flags it lists
-
--help -
-dir -
-help -
-infer -
-jsopt -
-noinfer -
-package -
-ppopt -
-predicates