Return the array of distinct instants of a temporal sequence.
- Note
- By definition, all instants of a sequence are distinct
- Postcondition
- The output parameter
count
is equal to the number of instants of the input temporal sequence
- SQL Function:
- instants()