std/core/console documentation
koka-lang.github.io