pub type Assignments<'a, T> = HashMap<<T as Types>::KVar, Vec<(&'a Qualifier<T>, Vec<usize>)>>;
Type alias for qualifier assignments used in constraint solving
pub struct Assignments<'a, T> { /* private fields */ }