Joshua Harlow 33d5fdaa5f Add a bigger CD-player state-machine doctest(ed) example ...

Change-Id: I7d0c1d08b61f56b33289a0d774b89685416a3a70

2015-06-29 15:43:00 -07:00

..

source

Add a bigger CD-player state-machine doctest(ed) example

2015-06-29 15:43:00 -07:00