Count (Atom)

Inheritance

Ancestors

Remarks

This is a data type to store counts -- which must always be non-negative.

Containment
Formal Specification