Module Core_kernel__.Time

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