Github user fhueske commented on a diff in the pull request:
    --- Diff: docs/dev/ ---
    @@ -1578,6 +1578,17 @@ localTimestamp()
    +    <tr>
    +      <td>
    +        {% highlight java %}
    +{% endhighlight %}
    +      </td>
    +      <td>
    +        <p>Determines whether two anchored time intervals overlap. It 
evaluates <code>leftTemporal >= rightTimePoint && rightTemporal >= 
leftTimePoint</code>. E.g. <code>temporalOverlaps("2:55:00".toTime, 1.hour, 
"3:30:00".toTime, 2.hour)</code> leads to true.</p>
    --- End diff --
    I think the condition is hard to understand because it is not clear what a 
`Temporal` is. How about we say that time point and temporal are transformed 
into a range defined by two timestamps (start, end) and give the condition as 
`leftEnd >= rightStart && rightEnd >= leftStart`?

If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at or file a JIRA ticket
with INFRA.

Reply via email to