Module Core_kernel__.Time
include Core_kernel__.Time_intf.Time
module type S = Core_kernel__.Time_intf.S
Core_kernel__.Time
include Core_kernel__.Time_intf.Time
module type S = Core_kernel__.Time_intf.S