pub type CaseList = IdxRange<Case>;
A run of the cases of one switch.
switch
pub struct CaseList { /* private fields */ }