View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Constrained Elements

---

identification
Constraint Id_exists

General Info
Name	Id_exists
Expression	inv: id <> Void
Base Classes	Class

Constrained Elements
Name	Type
OBJECT_REF	Class