typestates-comparison (cargo): Comparison of different implementations of typestates
Keywords: typestate