NonNegativeInteger 🔗

Primitive type: int 🔗
The nonNegativeInteger datatype as defined by XML Schema Part 2 in version 1.0.

Invariants 🔗

  • The value must be a non-negative integer.
    self >= 0