======= Modules ======= .. toctree:: :maxdepth: 1 fa common conversions fio reex transducers fl cgf rndfap rndadfa comboperations codes prax sst semigroup graphs ordered