pub type ConstraintVec<'a> = Vec<Constraint<'a>>;
pub struct ConstraintVec<'a> { /* private fields */ }