eliomcp(1) on Linux
The text 1297ac0d7e21, as Debian 7 (Wheezy) shipped it.
the eliom build tools
Flags it lists
-
--help -
-dir -
-help -
-infer -
-jsopt -
-noinfer -
-package -
-ppopt -
-predicates