TOC documentation is incomplete

[chtenb]

The following page entry exists: std/core/int
But it is not listed in the TOC: https://koka-lang.github.io/koka/doc/toc.html

[anfelor]

It is listed at the bottom in the private import section alongside some other useful modules like std/core/vector. I agree that it would be nice to list it more prominently.

[chtenb]

What does private import mean, and why is listed differently than other modules?

[daanx]

The idea is that if you click on std/core you get the list of public imports,
https://koka-lang.github.io/koka/doc/std_core.html

I felt that is better or otherwise the TOC gets so large with all those core modules.