Module Core_kernel__Date0_intf

module type Date0 = sig ... end