Module Core__.Core_time
include Core__.Core_time_intf.Core_time
module type S = Core__.Core_time_intf.S
Core__.Core_time
include Core__.Core_time_intf.Core_time
module type S = Core__.Core_time_intf.S