PositiveInfinity returns a bound representing positive infinity.
()
| 198 | |
| 199 | // PositiveInfinity returns a bound representing positive infinity. |
| 200 | func PositiveInfinity() TemporalBound { |
| 201 | return TemporalBound{ |
| 202 | Type: PositiveInfinityBound, |
| 203 | } |
| 204 | } |
| 205 | |
| 206 | // Now returns a bound representing the current evaluation time. |
| 207 | func Now() TemporalBound { |
no outgoing calls