Module Core_kernel__Date_intf

module type Date : sig ... end