3 ms·Thank you :) I was wondering how this would look in TLA+/PlusCal.by simplegeek 2y agoThank you :) I was wondering how this would look in TLA+/PlusCal.