pub type Problems = Vec<Problem>;
The problems of a spec, in file order.
pub struct Problems { /* private fields */ }