time_interval mapping type