Module Core__.Interval_intf.S_time.Time.Ofday

type t