Module Core_kernel__Time

include Core_kernel__.Time_intf.Time
module Make : functor (Time : Core_kernel__.Time0_intf.S) -> S with module Time := Time