You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
public tuple instant(real timestamp_seconds)
public function instantToIndex(instant inst) returns int
return realToIndex(inst.timestamp_seconds)
public function instantFromIndex(int index) returns instant
return instant(realFromIndex(index))
Only saves 4 lines of code to automatically derive this, but would be nice!
The text was updated successfully, but these errors were encountered:
Here is an example:
Only saves 4 lines of code to automatically derive this, but would be nice!
The text was updated successfully, but these errors were encountered: