Module Std_kernel

module Std_kernel: sig .. end

include Core_kernel.Std_kernel