pub type ConstraintId = NonZero<u32>;
The ID of a proof step.
pub struct ConstraintId(/* private fields */);