1 2 3 4 5 6 7
//! Discrete spaces module. import_all!(binary); import_all!(discrete); import_all!(naturals); import_all!(integers); import_all!(partition);