Library incremental_kernel

The entry point for this library is module Incremental_kernel.