opam otopop should probably be a full superset of opam install — or at least, should be for simple package-names with no qualifications; and should be when there's no .opam file to modify. This interaction, for example, surprised me:
$ opam otopop menhir
[ERROR] No opam file in /Users/ec/Sync/Code/wrange
[ERROR] opam install ended with a non-zero exit code:
internal error, uncaught exception:
OpamStd.OpamSys.Exit(5)
opam otopopshould probably be a full superset ofopam install— or at least, should be for simple package-names with no qualifications; and should be when there's no.opamfile to modify. This interaction, for example, surprised me: