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