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