Time-constructible function