CC: @vnovick this is a good example of a component documentation with small hacks. Might be worth checking how it compares with your work.

@grabbou I don't see much of hacks here. Mostly just documenting above make function will get everything above make function. So there was no need to document types or modules. There when real problems arise. Especially when documenting modules as odoc generates modules as collapsible sections at the top of the file