12 ms·With validity intervals mentioned it'll also be nice to have LTL's "next" and "until" too.by IsTom 1mo agoWith validity intervals mentioned it'll also be nice to have LTL's "next" and "until" too.