Due to a difference (I think, it has gotten quite late at night) between the tagged version of 0.11.0 and the version pulled by Opam, the symbol WordAssignmentWord no longer appears in the custom documentation. Furthermore, there is no official documentation being generated. The presence of or lack of this symbol has a fair chance of causing build failures for dependent projects given the nature of Morbig.
Due to a difference (I think, it has gotten quite late at night) between the tagged version of 0.11.0 and the version pulled by Opam, the symbol
WordAssignmentWord
no longer appears in the custom documentation. Furthermore, there is no official documentation being generated. The presence of or lack of this symbol has a fair chance of causing build failures for dependent projects given the nature of Morbig.