Module Core__.Core_time

include Core__.Core_time_intf.Core_time
module Make : functor (Time0 : Core_kernel.Core_kernel_private.Time0_intf.S) -> functor (Time : Core_kernel.Core_kernel_private.Time_intf.S with module Time := Time0) -> S with module Time0 := Time0 and module Time := Time