DefaultSequence.py File Reference

Go to the source code of this file.

Data Structures
class	peano4.api.runner.DefaultSequence.DefaultSequence
	The default sequence sketches what Peano does if there's no main. More...

Namespaces
namespace	peano4
namespace	peano4.api
namespace	peano4.api.runner
namespace	peano4.api.runner.DefaultSequence