4 ms·Typestate for checking a much larger class of invariants.by swannodette 15y agoTypestate for checking a much larger class of invariants.