1.
Quick Intro
2.
What are typestates?
3.
Basic Guide to Typestates
4.
Advanced Guide
5.
Features
5.1.
Macro Attributes
5.2.
Compilation Flags
Light (default)
Rust
Coal
Navy
Ayu
The Typestate Book
Features