/// Unique identifier for a constraint in the `ConstraintSet`.
////// Used by `RemoveConstraint` and `ViolationDetail` for precise constraint addressing.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]pubstructConstraintId(u64);implConstraintId{/// Create a `ConstraintId` from a raw value.
#[must_use]pubfnfrom_raw(value:u64)->Self{Self(value)}/// Returns the raw numeric value.
#[must_use]pubfnvalue(self)->u64{self.0}}