У меня why3 не компилируется:
```
Ocamlopt lib/ocaml/why3__BigInt_compat.ml
File "lib/ocaml/why3__BigInt_compat.ml", line 2, characters 8-17:
Error: Unbound module Big_int_Z
make: *** [lib/ocaml/why3__BigInt_compat.cmx] Error 2
```
как это починить?
TFW две недели фрустрировал от невнятного бага в жс-параше, считал свою жизнь полным говно и подумывал о сиозсах, а баг починился прописыванием в одной жсонине "huita": {}.
Уже известны случаи суицида вызванного неспособность совладать с динамической типизацией?