This type represents how the solver will see time instants