ml@gentoo.org Gentoo ML Project Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript. It provides an overlay on the usual namespace, so the best way to use Core is to start your file with: open Core_kernel.Std