pub type ConstraintType = u32;