Module Core_lazy

module Core_lazy: sig .. end

include Core_kernel.Core_lazy