This is implemented as described in ISO 21090.
Specializes
INT.NonNeg
Constraints
| Type | Name | Specification |
|---|---|---|
| positive number | Initial value | inv: isNotNull implies value > 0 |
|
|
Logical Record Architecture for Health and Social Care |
|
Discharge Summary Release 0.02 |
|
|