Size of commands in lib
This is more of a curiosity than an actual request, so please feel free to close if there is no easy answer.
When minimizing the size of VMs containing Why3, I noticed the .opam/<version>/lib/why3/commands
directory contains 11 files (plus why3wc
), one for each why3 command, each of them 13 MB in size. In total, they take 143 MB, which is not too large, but seems unnecessary if the commands are mostly carrying copies of common code. I wonder if there would be a way to save some space, or if this is some OCaml limitation that makes it harder to remove unused code.