Library frenetic.kernel

The entry point for this library is module Frenetic_kernel.